SML、はじめました | 雑記帳
動機 プログラマーの3大欲求と言えば「プログラミング言語（処理系）を作りたい」「テキストエディターを作りたい」「OSを作りたい」である。これらの欲求は定期的に湧いてきて、多くの場合は実を結ぶことなく霧消する。 そんなわけで先日、筆者にもプログラミング言語の処理系を作りたい欲求が湧いてきた。 具体的には、ML系の型推論を持った言語を作りたい。また、エフェクト推論・リージョン推論のような技法を試したい（一旦普通に処理系を作り、その後に改造してエフェクト推論やリージョン推論を試す）。 別の方向性の動機として、型のないスクリプト言語（具体的にはLua）で大きなソフトウェアを書くのがだるい。静的型のついた言語からスクリプト言語にコンパイル（トランスパイル）するやつを作りたい、というものがある。 最近はJavaScriptへトランスパイルする処理系は色々登場したが、それ以外のスクリプト言語を吐き出す処
Comparing Objective Caml and Standard ML
This page compares point-by-point the Objective Caml (OCaml) and Standard ML (SML) programming languages, the two main representatives of the ML programming language family. The comparison includes language design and current tool availability, as well as further social factors. This page isn't meant to be a complete comparison, but rather to highlight differences that might lead to choosing one l
型クラスの原点 How to make ad-hoc polymorphism less ad hoc を読んだ話 - Qiita
オレオレ型クラスの話をやめろ。原典に当たれ。ということで、Haskell に型クラスの導入を提案した論文とされる Philip Wadler. How to make ad-hoc polymorphism less ad hoc を読んだのでそれをまとめる話です。 型クラス導入の目的 2 つの多相 多相にはアドホック多相、パラメトリック多相の 2 つの種類がある。 アドホック多相 アドホック多相は、ある関数が受け入れる型によって 型に応じた振る舞いをするような多相 。典型的なのは関数や演算子のオーバーロード。
A Separate Compilation Extension to Standard ML
A Separate Compilation Extension to Standard ML David Swasey Tom Murphy VII Karl Crary Robert Harper Carnegie Mellon {swasey,tom7,crary,rwh}@cs.cmu.edu Abstract We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual pro- gram fragments, called units. Units may depend on one another in a way specified by the programmer. A depend
プログラミング言語SML#解説
プログラミング言語SML#解説 Pt.I 概要 Pt.II チュートリアル Pt.III 参照マニュアル Pt.IV プログラミングツール Pt.V SML#の内部構造 Pt.VI 参考文献，その他 Ch.1 はじめに Ch.2 本書の使い方 Ch.3 本書の構成と執筆状況 Ch.4 SML#の概要 Ch.5 SML#ライセンス Ch.6 SML#プログラミング環境の準備 Ch.7 MLプログラミング入門 Ch.8 SML#の拡張機能：レコード多相性 Ch.9 SML#の拡張機能：その他の型の拡張 Ch.10 SML#の拡張機能：Cとの直接連携 Ch.11 SML#の拡張機能：SQLのシームレスな統合 Ch.12 SML#分割コンパイルシステム Ch.13 字句構造 Ch.14 プログラム構造 Ch.15 型の集合 Ch.16 名前の種類とスコープ規則 Ch.17 式の構文と評価 Ch.1
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://github.com/yawaramin/scala-modules/blob/master/README.md
SMLのエコシステム（？） | κeenのHappy Hacκing Blog
https://www.cs.princeton.edu/~appel/papers/97.ps
http://www.smlnj.org/doc/CM/new.pdf
SML Grammar