関数型プログラミング言語Haskell Part9

関数型プログラミング ..

641:デフォルトの名無しさん
08/08/26 00:21:14
Text/ParserCombinators/ReadP.hsとKoen Claessen氏のペーパーを読んで思ったんですが、

Haskellに慣れてくるとこの実装が直感的に見えてくるんですか？
Haskellのパーサコンビネータ関連のペーパーを読んでいない状態でReadPを読んで、

data P a = Get (Char -> P a)　　
　　　　　　略
　　　　　　| Result a (P a)
　　　　　　略　　　　　　　　　　　　　　　　　　なのを「え、一番直感的じゃん」

とか、
newtype ReadP a = R (forall b . (a -> P b) -> P b)
で
instance Monad ReadP where
　　return x　　 = R (\k -> k x)　　　　　　　　　　　　　　　　　　　 ← これとか
　　fail _ 　　　　= R (\_ -> Fail)
　　R m >>= f 　= R （\k -> m (\a -> let R m' = f a in m' k)）　　← これとか
とか
get = R Get
ってなるを、「ああ、自明だなすげえ直感的」みたいに理解できるようになる物なんですかね。。難しすぎる。。。

次ページ