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

[1 デフォルトの名無しさん 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/

[2 デフォルトの名無しさん 2009/06/15(月) 19:45:36]

プログラミングの初心者が最初に学習する言語としても優れているのに、
学習者が増えないのはなぜなの？

[3 デフォルトの名無しさん 2009/06/15(月) 19:57:50]

>>2
教える側が理解していないから。

[4 デフォルトの名無しさん 2009/06/15(月) 20:04:59]

>>2
初心者が日常で使うにはハードルが高いからかな

[5 デフォルトの名無しさん 2009/06/16(火) 01:24:50]

前スレでもあったけどOcamlとHaskellってどっちが初心者に向いてるのかな？
Lispいじってた俺にとってはOcamlの方が見た感じ楽そうに見えるけど
Lisp、Ocaml、Haskellマスターの意見が聞いてみたいな

[6 デフォルトの名無しさん 2009/06/16(火) 09:59:16]

standard MLをさらっとやってから決めれば。

[7 デフォルトの名無しさん 2009/06/16(火) 22:59:25]

>>5
型つき関数型言語の背景にある背景理論(ラムダ計算)をぱっと勉強したいならHaskell,
実用で長いこと使いたいならOCaml。

[8 デフォルトの名無しさん 2009/06/16(火) 23:52:08]

オブジェクトを使わずにステートマシンを作るのによい方法はありますか？

勉強のためにStateパターンをモジュールを使ってやってみようと思ったのですが、
相互依存を回避するうまい方法が思いつきません。
また、状態をそれぞれ別モジュールにするにせよ、一箇所にまとめるにせよ、動的に切り替えるためには
結局パターンマッチさせてそれらを呼び出すようになると思いますが、もっとスマートな方法はありますか？