08/12/14 16:19:34
プログラムの変形やそこで使う公式を見るのがいいと思う。
birdがそういうの得意な人だから、
Introduction to Functional Programming using Haskell
URLリンク(www.amazon.com)
"Using Haskell"じゃない前の版の方がその辺は内容が濃かった。
The Algebra of Programming
URLリンク(www.amazon.com)
は関数合成、変形ドリルみたいな内容だった。
たしかparserを必要な機能を持つように変形する論文もあったはず。