On Fri, Jun 25, 2010 at 2:26 PM, Walt Rorie-Baety <black.m...@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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
