Loading article…
 | |
| パラダイム | マルチパラダイム：関数型言語、型付き言語 |
|---|---|
| デザイン： | マーク・マロン |
| 開発者 | マイクロソフト |
| 初登場 | 2019年3月3日[1] |
| ライセンス | MITライセンス |
| ファイル名拡張子 | .bsq [2] |
| Webサイト | www.microsoft.com/en-us/research/project/bosque-programming- language/ |
| 影響を受けた | |
| JavaScript、TypeScript、ML | |
Bosqueは、TypeScriptの構文と型、 MLとNode/ JavaScriptのセマンティクスに触発されてMicrosoftによって設計・開発された無料のオープン ソースプログラミング言語です。[3] [4]この言語の設計目標には、ソフトウェアの品質向上と開発者の生産性向上が含まれています。[5] [6]
概要
Bosqueはマイクロソフトリサーチのコンピュータ科学者マーク・マロンによって設計されました。 [7]彼はこの言語を、1970年代に人気を博した構造化プログラミングモデルを超える試みであると説明しています。 [3] [8]
ループ、条件文、サブルーチンでフロー制御を管理する構造化プログラミング パラダイムは、コンピュータ科学者Edsger Dijkstraによる 1968 年の論文「 Go To ステートメントは有害であると考えられる」以降、人気を博しました。Marron は、ループ、可変状態、参照の等価性などの複雑さの原因を取り除くことで、よりよい結果が得られると考えています。その結果生まれたのが Bosque です。これは、Marron が論文で「正規化プログラミング」と呼んでいるプログラミング パラダイムを表しています。
Bosqueの仕様、パーサー、型チェッカー、リファレンスインタープリター、IDEサポートはMITライセンスの下でライセンスされており、GitHubで入手できます。[9]
例
2つの数字を足す
関数 add2(x: Int, y: Int): Int {
x + y を返します。
}
加算2(2, 3) // 5
加算2(x=2, y=3) // 5
加算2(y=2, 5) // 7
参照
.svg/500px-Free_and_open-source_software_logo_(2009).svg.png){kind=logo}
参考文献
- ^ 「BosqueLanguage」。Microsoft。2019年3月3日。 2019年4月29日閲覧。
- ^ Bosque の使用 - Bosque プログラミング言語[リンク切れ ]
- ^ ab Microsoft が Bosque を発表 – TypeScript にヒントを得たループのない新しいプログラミング言語
- ^ Bosque は、Microsoft の新しいオープンソースの TypeScript にインスパイアされたプログラミング言語です。
- ^ マイクロソフトはボスケプログラミング言語でシンプルさを追求
- ^ Microsoft の新しいプログラミング言語「Bosque」はコードをシンプルに保ちます
- ^ マイクロソフトのボスケ言語はプログラミングを永遠に変えようとしている
- ^ Microsoft、簡単に理解できるコードを書くためのプログラミング言語 Bosque を発表
- ^ 「Bosqueプログラミング言語」。GitHub 。 2022年5月7日。
さらに読む
- Mark Marron (2019)。「BOSQUE 言語による正規化プログラミング」(PDF)。Microsoft Research。
- Kaczmarek, Sebastian; Ibaceta, Joel (2021). 『Bosqueプログラミングを学ぶ: 世界初の正規化プログラミング言語を発見する』Packt Publishing . ISBN 978-1839211973。
外部リンク
- Bosque プログラミング言語 - Microsoft Research
- GitHub - microsoft/BosqueLanguage: Bosque プログラミング言語は、機械支援による迅速かつ信頼性の高いソフトウェア開発ライフサイクルのための正規化された設計の実験です。