次世代言語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