→言語・開発環境
有名どころ†
それぞれのページがあります
Rust†
C/C++†
- CrossBridge 2013.6.27
- CrossBridge is the open-source version of Adobe FlasCC (formerly the Alchemy project).
Kotlin†
- 私がKotlinを好きになった理由 - Uzabase for Engineers 2023.1
- null安全がデフォルトとなっている
- Javaの資産が活かせる.KotlinからJavaのコードを実行できますし、なんなら JavaからKotlinのコードを呼ぶことも可能
- 配列操作が簡単で直感的
- 文末のセミコロン不要
- コンストラクタインジェクションが簡単に書ける
- テストフレームワーク「kotest」がイケてる
- 型を後ろに書く
- メソッドがデフォルトでpublicであり、voidを書く必要がない
- IntelliJで開発ができる
Swift†
Julia†
アセンブラ†
Haskell†
- The Haskell Platform
- The Haskell Platform is the easiest way to get started with programming Haskell.
VB/VB.NET†
Objective-C†
- j2objc
- JavaコードをObjective-Cに変換するツール
LISP†
- ECL 2012.6.9
- ECL is an implementation of the Common Lisp language as defined by the ANSI X3J13 specification.
COBOL†
Scala†
その他の言語†
- Coq 関数型言語の一種らしい
- Coq を始めよう
- このチュートリアルでは定理証明支援系言語である Coq について解説をします。プログラムの性質を Coq で証明できるようになることが目標です。
- 読者の前提知識としては OCaml や Haskell などの関数型言語でプログラミングできることを想定します。また、本文書において Coq のプログラムとの比較には Haskell と OCaml を用いますが、Haskell や OCaml を書いたことがなくても他の関数型言語に触れていれば理解できるような内容を心がけます。
Last-modified: 2023-01-26 (木) 22:58:38