6 Oct
2007
6 Oct
'07
10:28 p.m.
On 10/6/07, Dan Piponi
I'm guessing you're talking about a language that makes it easier to "fake" your own dependent types without properly implementing dependent types. If you find one, I could use it right now - the details of embedding the gaussian integers in Haskell types are getting a bit complicated right now...
I think Ωmega was designed along those lines.
http://web.cecs.pdx.edu/~sheard/
--
Dave Menendez