paper.dvi
Strongly Typed Heterogeneous Collections August 26, 2004 ∗ Oleg Kiselyov FNMOC, Monterey, CA Ralf Lämmel VU & CWI, Amsterdam Keean Schupke Imperial College, London Abstract A heterogeneous collection is a datatype that is capable of stor- ing data of different types, while providing operations for look-up, update, iteration, and others. There are various kinds of heteroge- neous collections, diff
monad.gby
1 2012.11.18 2 1 3 2 DSL 4 5 Q) A) 6 Q) A) 7 8 9 Haskell 10 11 Parser data Parser a = Parser (String -> [(a,String)]) Parser pwrap :: a -> Parser a pwrap v = Parser $ \inp -> [(v,inp)] Parser pbind :: Parser a -> (a -> Parser b) -> Parser b pbind p f = ... string :: String -> Parser String string [] = pwrap [] string (x:xs) = char x ‘pbind‘ \v -> string xs ‘pbind‘ \vs -> pwrap (v:vs) 12 IO data IO
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.92.958&rep=rep1&type=pdf
http://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quick.pdf
On Understanding Types, Data Abstraction, and Polymorphism (PDF)
