28 May
2007
28 May
'07
4:21 p.m.
Hello Andrew, Monday, May 28, 2007, 2:43:47 PM, you wrote:
- Chapter 12 is incomprehensible (to me at least). "Fun with Phantom Types" I've read it several times, and I still couldn't tell you what a phantom type is...
and noone else know! that is the whole fun is! :) seriously, i'm known of writing tutorials for things hard to understand: arrays, i/o, typeclasses. once i've started paper about gadt and type system overall, i will send you my sketch which may be helpful -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com