6 Oct
2007
6 Oct
'07
10:28 p.m.
On 10/6/07, Dan Piponi <dpiponi@gmail.com> wrote:
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 <dave@zednenem.com> <http://www.eyrie.org/~zednenem/>