[Haskell-cafe] Type-Level Programming

[Jason Dagit]

On Fri, Jun 25, 2010 at 2:26 PM, Walt Rorie-Baety <black.meph at gmail.com>wrote:

> I've noticed over the - okay, over the months - that some folks enjoy the
> puzzle-like qualities of programming in the type system (poor Oleg, he's
> become #haskell's answer to the "Chuck Norris" meme commonly encountered in
> MMORPGs).
>
> Anyway,... are there any languages out there whose term-level programming
> resembles Haskell type-level programming, and if so, would a deliberate
> effort to appeal to that resemblance be an advantage (leaving out for now
> the hair-pulling effort that such a change would entail)?
>

I'm not a prolog programmer, but I've heard that using type classes to do
your computations leads to code that resembles prolog.  You might enjoy
looking at dependently typed languages.  In those languages the term level
and type level have the same computing power so your programs will go
between the levels at times.  In Agda they share the same syntax even, I
think.

Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100625/e5976be9/attachment.html