I&#39;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&#39;s become #haskell&#39;s answer to the &quot;Chuck Norris&quot; meme commonly encountered in MMORPGs).<div>
<br></div><div>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)?</div>
<div><br></div><div>Or, better yet, is there an Interest Group or committee (Working, or not), that is looking at a coherent architecture or design for a possible future version of Haskell (no offense to Tim Sheard&#39;s excelent Ωmega project)?<br>
<div><br></div><div><br clear="all">Walt &quot;BMeph&quot; Rorie-Baety <br>&quot;A mountain that eats people? I want one!.&quot; - Richard, of LFGComic.com<br>

</div>
</div>