[Haskell-cafe] Re: The container problem

[Jason Dusek]

Aaron Denney <wnoise at ofb.net> wrote:
> Andrew Coppin <andrewcoppin at btinternet.com> 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