On Fri, Jun 25, 2010 at 2:26 PM, Walt Rorie-Baety
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