SML#プロジェクト
SML#はオープンソースの関数型プログラミング言語です。Standard MLと互換性を保ちながら、C言語やデータベースとの連携など実用上重要な機能を備えています。詳しくは「SML#について」をご覧ください。 val puts = _import "puts" : string -> int fun f x = ignore (puts (#b x)) val _ = f {a = "Hi", b = "Hello"} val _ = f {b = "World", c = "SML#"} 最近のニュース SML#の教科書が出ました 2021年4月15日 「SML#で始める実践MLプログラミング」が発売されました。 もっと読む... GitHubへの移行が完了しました 2021年4月7日 SML#プロジェクトのGitHubへの移行が完了しました。 もっと読む... SML# 4.0.0 リ
ML Programming
How OCaml type checker works -- or what polymorphism and garbage collection have in common BER MetaOCaml -- OCaml dialect for multi-stage programming Direct implementation of delimited continuations for byte- and native-code OCaml Eff Directly in OCaml Generating code with polymorphic let: A Ballad of Value Restriction, Copying and Sharing Domain-specific languages (DSLs) embedded in OCaml Typecla
Lambda Nights
In this tutorial series, we will write a compiler for a simple functional programming language, from scratch, in Standard-ML. This night focuses on the core language features that we will need in order to write useful software in ML. If you are familiar with Standard-ML, or Functional Programming in general, then you can probably skip this section without worry.
Standard ML Family GitHub Project
This is the web page for the Standard ML Family GitHub project (organization name: SMLFamily). This site is very much "under construction", and it replaces the earlier SourceForge web site for standardml.org (which now redirects to this page). Contributions, corrections, and suggestions for additional information are very much welcomed. Project Description The Standard ML Family project provides a
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
