Aaron Denney <[EMAIL PROTECTED]> wrote: > Andrew Coppin <[EMAIL PROTECTED]> wrote: > > Brandon S. Allbery KF8NH wrote: > > > Oleg Kiselyov. http://okmij.org/ftp/ He's somewhat > > > legendary in the Haskell community for his ability to make > > > Haskell do what people think it can't, and his tendency to > > > program at the type level instead of at the value level > > > like most people. :) > > > > Ah - so the "Prolog programs as type signatures" thing is > > *his* fault?! ;-) > > No, he merely takes advantage of it. The fault is that > constraint satisfaction is natural match for type-inference, > because it's essentially what type-inference is. Given that > that's essentially what Prolog is too, it shouldn't be > surprising that you can express quite a lot with the type > system.
Where can I find a discussion of this? -- _jsn _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
