Haskellの講義に関するQ&A - あどけない話

岡山大学で、関数プログラミングの講義を一コマ担当しました。資料は、函数プログラミングの集いで使った関数プログラミングの道しるべを流用しました。ちゃんと用意しなくて、講義を受けた学生には申し訳ないです。 講義内容に関して質問を頂きました。同じような疑問を持つ人も多いと思いますので、担当教官の許可を得てここに公開します。 永続データプログラミングの意義は分かったが，破壊しないと効率が悪いのではないですか．配列のような構造が世の中には多い気がします．メモリは足りなくなりませんか． 基本的に永続と呼ばれているデータは、共有の効率が高く、しかも不要になった部分はすぐに GC に回収されます。また、GHC の GC はすごく優秀であることが知られています。 Haskell では、下位のレイヤーではデータを破壊できて、たとえば固定長のバッファーを使い回すといったことも可能です。ただ、それは普通のプログラ

[mooz]

型推論。命令型のそれは、省略された型を推論。関数型のそれは、与えられた型を元に、型検査までを含む大きな枠組みの中でさまざまな場所の型を推論。

[array08_12]

haskellはイケテル言語っとφ(..)

[t-wada]

Q&A 公開 "型推論にも意味が二つあるので気をつけて下さい。関数型のはすごくて、命令型のはしょぼいと理解しておけば十分です" "Haskell を学んで、はじめてプログラミングとは何か分かりました"

[tanakh]

ふむふむなるほど。

[katsyoshi]

ほえー

[tmatsuu]

いいね。後で必ず読む

[todesking]

「僕は、Haskell を学んで、はじめてプログラミングとは何か分かりました。それまでも分かっているつもりでしたが、気のせいでした。」

[t_ita]

これはよいQ＆A。「型推論にも意味が二つあるので気をつけて下さい。関数型のはすごくて、命令型のはしょぼいと理解しておけば十分です」でフイタw

[syoko_sasaki]

たぶん多くのHaskell未経験プログラマがもつ疑問がたくさん回答されている。ぜひ読んで欲しい。