YETI programming language
YETI Releases ... and the slime became the worm and the worm the serpent, the serpent became the yeti of the mountain forests and the yeti became man. Yeti is ML style functional programming language, that runs on the JVM. message = "Hello world"; println message; Library documentation: std, io, json, xml Read the tutorial (also available as PDF) Language reference manual (PDF) Source is available
SML vs. Ocaml
Standard ML and Objective Caml, Side by Side This page gives a quick side by side comparison of program fragments in the two ML dialects Standard ML ('97 revision) and Objective Caml (version 3.12). It is primarily targetted at people who need to convert code between the two dialects. Where suitable we also mention common extensions to SML, or recent extensions of Ocaml. The comparison does not co
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://reactiveml.github.io/
GitHub - FStarLang/FStar: A Proof-oriented Programming Language
GitHub - jsyeo/Learn-You-PLT-for-Greater-Good: A resource library for PLT, Haskell, ML and compilers.
