[Haskell-cafe] Decidable type systems? (WAS: Associated TypeSynonyms question)

Miles Sabin miles at milessabin.com
Thu Feb 16 07:46:13 EST 2006


Robin Green wrote,
> But are there any decidable type checking algorithms that have been
> seriously proposed or used which would take far too long to terminate
> for real code? If not, then decidability is the only thing that
> matters.

Surely what matters is that they don't take far too long to terminate!

Cheers,


Miles


More information about the Haskell-Cafe mailing list