次世代言語15 Go Rust Bosque Kotlin TypeScript

**デフォルトの名無しさん** · 2019/04/19(金) 22:19:00.41

スレタイ以外の言語もok

前スレ
次世代言語15 Go Rust Swift Kotlin TypeScript
https://mevius.5ch.net/test/read.cgi/tech/1541331010/

**デフォルトの名無しさん** · 2019/04/19(金) 22:20:19.27

しもた16やった

**デフォルトの名無しさん** · 2019/04/19(金) 22:21:02.78

いいんじゃね
乙

**デフォルトの名無しさん** · 2019/04/19(金) 22:21:27.31

>>990
次スレ立てるときは番号修正してください
次は17です。

**デフォルトの名無しさん** · 2019/04/19(金) 23:35:49.54

Bosqueって知らなかったんだが、
ググったらMSの研究所で作ってる言語か

**デフォルトの名無しさん** · 2019/04/20(土) 00:05:55.59

Bosque Programming Language
https://www.microsoft.com/en-us/research/project/bosque-programming-language/

> The Bosque programming language is designed for writing code that simple, obvious, and easy to reason about for both humans and machines.

https://github.com/Microsoft/BosqueLanguage

レビュー記事
Microsoft debuts Bosque – a new programming language with no loops, inspired by TypeScript
https://www.theregister.co.uk/2019/04/18/microsoft_bosque_programming_language/

**デフォルトの名無しさん** · 2019/04/20(土) 00:09:44.32

Microsoft aims for simplicity with Bosque programming language
https://www.infoworld.com/article/3390197/microsoft-aims-for-simplicity-with-bosque-programming-language.html

・Bosqueは不変(immutable)データと調和する機能モデルを採用しているため、すべての値は不変です。
副作用がなければ、コードブロックの任意のステートメントの作用を理解することはとても簡単になります。
関数型言語は、プログラム開発の単純化、洗練されたツール、およびこのモデルによって可能になるコンパイラの最適化の恩恵を受けています。
・更新可能なvar!変数への複数回の代入を許可することで、関数型プログラミングはブロックスコープと{…}括弧と融合します。
・関数はファーストクラスの値であり型です。
・ラムダコンストラクタは、ラムダ作成時のクロージャキャプチャ変数のために、ラムダ本体のコード定義と変数コピーセマンティクスを組み合わせたものです。
・シンプルで押し付けがましくない型システムは、意図を伝え、問題領域の関連する特徴を符号化するために、構造型(structural types)、組み合わせ型(combination types)、および公称型(nominal types)といった一連の型の使用を可能にします。
・型付き文字列は、文字列の内容に関する既知の構造を、人にとって意味があり、かつ型チェッカーが利用できる方式で型に変換するためのメカニズムを提供します。

続く>>8

**デフォルトの名無しさん** · 2019/04/20(土) 00:10:22.73

>>7 続き

・ref引数を渡すことでパラメータをスレッド化することができます。
複数の戻り値(multi-return values)に代わるものとして、これはメソッドが渡された変数を使用・更新するようなシナリオを単純化します。
パラメータの更新を許可することで、余分な(extra)戻り値の管理が不要になります。
この機能はまだ実装されていません。
・名前付き引数が提供されています。
残余引数(rest parameters)やスプレッド演算子(spread operators)も。
これらは呼び出しやコンストラクタ操作の一部としてデータ操作を実行できます。
・不変式/不変条件(invariants)、サニティチェック、および診断アサーションといったさまざまな表現のための一級のサポートが提供されています。
・Bosqueでの一括代数データ操作は、一括読み取りとデータ値の更新から始まります。
作成されたオペレータは、コードを全体的な意図に集中させ、開発者がデータ構造操作に関する代数推論をするのを助けます。
代数演算は、データ型、タプル、レコード、および名義型、さらには射影、複数更新、およびマージを含む演算に対して提供されます。
・反復処理機能により、構造化ループは高レベルの反復処理構成体と交換されます。
同じループを書くことの定型句を削除することで、束縛計算を含むエラーのクラスが排除されます。
intentは意図(intent)を明確にします。

**デフォルトの名無しさん** · 2019/04/20(土) 01:59:32.06

このボケキューとかいう言語、コンセプツは良さげなのにまず言語名がボケすぎてボケなんだがｗ

**デフォルトの名無しさん** · 2019/04/20(土) 02:25:46.55

前スレ>>1000
幽霊型ならオーバーヘッド無いよ

**デフォルトの名無しさん** · 2019/04/20(土) 09:43:15.41

>>10
何言語の想定何？

**デフォルトの名無しさん** · 2019/04/20(土) 17:01:18.74

お題：もし流ればGolangみたいにMS公式に昇格できるか？Bosque

Bosqueとかけまして
ボス・キューと解きます
その心は？
ボスの首を(ﾋﾟｰ

◆QZaw55cn4c · 2019/04/20(土) 17:20:22.20

>>12
それのどこが面白いの？面白いとおもったの？