関数型言語ML (SML, OCaml, etc.), Part 6

**デフォルトの名無しさん** · 2009/06/15(月) 07:15:21

関数型言語MLについて語るスレッドです。

MLは、確固とした理論的背景を持つ言語でありながら、
現実的なソフトの開発にも使用できる実用性を備えた言語です。
また、プログラミングの初心者が最初に学習する言語としても優れています。

総本山
Standard ML http://www.smlnj.org/
Objective Caml http://caml.inria.fr/ocaml/

前スレ
関数型言語ML(SML, OCaml, etc.), Part 5
http://pc12.2ch.net/test/read.cgi/tech/1186292994/

**979** · 2017/10/05(木) 12:08:08.18

日本語訳の古さに苦戦しつつLogic.vまで進めていたところ……
久しぶりに英語の本家を見たら、
なんかVol.1 ～ Vol.3に増えてるー！？
あまりの道のりの遠さに絶望しつつ内容を見ると、
旧版からホーア理論まわりをVol..2に分離し、
Vol.3は赤黒木等の少し高度なデータ構造について色々とCoqで証明して感じらしい（新規）。

……く、面白そうじゃないか。

**デフォルトの名無しさん** · 2017/10/05(木) 19:45:51.56

>>979
リンクpls

**デフォルトの名無しさん** · 2017/10/07(土) 12:06:25.63

>>986
https://softwarefoundations.cis.upenn.edu/

**979** · 2017/10/30(月) 19:39:25.32

ここ一ヶ月、旧くなった日本語版を捨て英語版に再挑戦してみた。
以前は出来るだけ写経していたが時間がかかり過ぎるので、
付属の.vファイルを直接書き換える方針に変更。

結構章立てと共に内容変わってるなぁ……追加された良問も多いし。
英語の非形式的証明は書く機会もなさそうだし、パスするか。
しかし、答えがWeb上に転がってないのは自習者には正直辛い。

どうもSICPみたいな標準教科書を目指してるっぽい？
こーゆうの(coq)を国立研究所で作れる国はやっぱり凄いと思う今日この頃。

**デフォルトの名無しさん** · 2017/11/01(水) 07:27:01.78

**デフォルトの名無しさん** · 2017/11/01(水) 07:27:36.60

sit

**デフォルトの名無しさん** · 2017/11/01(水) 07:27:56.41

dot

**デフォルトの名無しさん** · 2017/11/01(水) 07:28:13.79

egg

**デフォルトの名無しさん** · 2017/11/01(水) 07:28:31.25

nø

**デフォルトの名無しさん** · 2017/11/01(水) 07:28:48.81

this

**デフォルトの名無しさん** · 2017/11/01(水) 07:29:26.33

combi

**デフォルトの名無しさん** · 2017/11/01(水) 07:30:08.09

**デフォルトの名無しさん** · 2017/11/01(水) 07:30:42.85

**デフォルトの名無しさん** · 2017/11/01(水) 07:31:16.98

ping

**デフォルトの名無しさん** · 2017/11/01(水) 07:32:05.81

pong

**デフォルトの名無しさん** · 2017/11/01(水) 07:32:32.73

wild

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 3061日 0時間 17分 11秒