関数型言語

数学の概念を実装したもの

http://www.slideshare.net/parrotstudio/gunmaweb-5-20110514

• 関数型言語 - 関数型プログラミングに目覚めた！IQ145で美少女JKの先輩から受けた特訓 5日間 - Qiita

• 磯野ー！関数型言語やろうぜー！

• 実用期を迎えた関数プログラミング - Togetter

脆弱性を作りこまないための開発技術?

組込み分野では、製品出荷後に判明した脆弱性対策としてセキュリティパッチ・アップデートパッチを配布・適用する方法についてデファクト標準が存在せず、実態としてリスクを放置せざるを得ない状況が発生している。
今後の組込製品の普及を促進するためにも、確立すべき標準化に脆弱性対策を含める。また、フォーマルメソッド（形式手法）や関数型言語といった脆弱性を作りこまないための開発技術について、組込み分野への適用を図っていく。

http://dl.ndl.go.jp/view/download/digidepo_1286071_po_report10.pdf?contentNo=6

東京大学工学部計数工学科

ソフトウェアがどんどん複雑になるにつれ，それを上手に構造化することがますます重要になっている．関数プログラミングは，ラムダ計算の概念をベースに関数だけで全体が構成され，すべての計算は関数の適用によって行われている．有名な関数型言語には Lisp，Haskell，MLなどがある．関数自体を引数として扱う高階関数と必要になるまで計算評価を行なわない遅延評価という二つの特徴により，関数プログラミングはソフトウェアの構造化に大きく貢献している．また，関数プログラム中のの関数は通常の数学的な関数に似ており，プログラミングを数学的な活動としてとらえて，プログラムのなすべきことの数学的記述から，等式による単純な推論によってプログラムを計算操作することができる．

http://www.keisu.t.u-tokyo.ac.jp/outline/keyword/keyword_mist/04_02.html