[Haskell-cafe] Type-level arithmetic

David Menendez dave at zednenem.com
Sat Oct 6 18:28:57 EDT 2007

On 10/6/07, Dan Piponi <dpiponi at 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.


Dave Menendez <dave at zednenem.com>

More information about the Haskell-Cafe mailing list