関数型言語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/

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

**デフォルトの名無しさん** · 2009/06/17(水) 10:23:08

>>8
まずは具体的な実装例を挙げてみたら？

**デフォルトの名無しさん** · 2009/06/17(水) 10:43:32

うん、なんか簡単な問題例を出してくれないとわかんないよ。

**デフォルトの名無しさん** · 2009/06/17(水) 10:51:36

state machineの問題例というとよくあるのはストップウォッチとか。

8 · 2009/06/17(水) 12:36:14

実際の問題を簡単にした問題例です。

流れ：
キャラクタがバイトをして財布がいっぱいになったら銀行へ行く
ということを目標金額まで繰り返し、到達したらその金がなくなるまで
家でごろ寝し、なくなったらまた働く

キャラクタは
　　・バイトをする　：　手持ちが１増える
　　・銀行で貯金をする　：　手持ちを０にし、貯金が１増える
　　・家で寝る　：　貯金が１減る
の状態を取ります。
財布の許容量は３、目標貯金額は５とします。

Ocaml的な解決方法のアドバイスをいただけると幸いです。

ちなみに元々の問題は「実例で学ぶゲームAIプログラミング」
という本の２章に出てくる、上記の問題例にいくつか余分な状態を
追加したようなものです。
元々の問題をとりあえず実装してみたソースとサンプルソースも
あげてみました。
http://www1.axfc.net/uploader/Sc/so/9827.lzh