関数型プログラミング

このWikiのリンク

Haskell

プログラム

• Haskell
  • @see Monadius
  • @see Paraiso
  • @see Paraiso wiki

資料系

@see 山本和彦の発表資料 いくつか関数型プログラミングについての資料がある。

@see 函数プログラミングの集い2011 発表資料置場

@see 関数型言語によるソフトウェア開発技法 -ITPlanning, Inc-

@see なぜ関数プログラミングは重要なのか

@see ホントはこわくない関数型言語 〜関数型言語の学び方〜

• Haskell
  • @see Haskell将棋についてのアピール文書
  • @see 本物のプログラマはHaskellを使う

• Ocaml
  • @see Objective Camlがなぜバグを書かせないのか
  • @see 函数プログラミングのエッセンスと考え方
  • @see 二時間で真似(まね)ぶ関数型言語のコンパイラ
  • @see 数理科学的バグ撲滅方法論のすすめ---目次

• Scala
  • @see Javaの限界を超えて実用化を目指す新開発言語「Scala」のメリットとは～前編
  • @see Javaの限界を超えて実用化を目指す新開発言語「Scala」のメリットとは～後編
  • @see Javaの限界を超えて実用化を目指す新開発言語「Scala」のメリットとは～補足編

• Coq
  • Coqで独習するならどのページがいい？と聞かれたときのメモ

関数型プログラミングのメリット

@see 関数型言語で工数削減できる理由、前編

@see 関数型言語で工数削減できる理由、後編