The Little MLer
The book, written in the style of The Little Schemer, introduces instructors, students, and practicioners to type-directed functional programming. It covers basic types, quickly moves into datatypes, and ends with a coverage of functional programming with modules. The book uses a minimal core of SML, which can easily be translated into the various ML dialects (SML/NJ, CAML). Enjoy! Table of Conten
Poly/ML Home Page
The Poly/ML implementation of Standard ML. Features Full multiprocessor support in the thread library and garbage collector Interactive debugger Fast compiler Preferred implementation for large projects including Isabelle and HOL4. Latest news: Poly/ML version 5.9.1 has been released. This includes a much enhanced code-generator for the ARM64. The development version is now on Git at GitHub (https
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ページを開く
Performance
http://www.pllab.riec.tohoku.ac.jp/smlsharp/nagoya/
The MLj Compiler
