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
{{#tags}}- {{label}}
{{/tags}}