>>71-73
高山先生いいね
あと、理論計算機科学者として長年プログラム理論を研究していたという経歴を生かして、数式処理とか群論計算プログラミング（あるいはHaskellなど）を学生に教えてあげると良いと思うな

（前スレ416より再録）
http://ja.wikipedia.org/wiki/Haskell
Haskell は高階関数や静的多相型付け、定義可能な演算子、例外処理といった多くの言語で採用されている現代的な機能に加え、パターンマッチングやカリー化、リスト内包表記、ガードといった多くの特徴的な機能を持っている。
また、遅延評価や再帰的な関数や代数的データ型もサポートしているほか、独自の概念として圏論のアイデアを利用し参照透過性を壊すことなく副作用のある操作（例えば 代入、入出力、配列など）を実現するモナドを含む。