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

Tomasz Zielonka tomasz.zielonka at gmail.com
Fri Feb 17 04:10:20 EST 2006

On Thu, Feb 16, 2006 at 12:27:54PM +0000, 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.

Perhaps they weren't proposed because decidability was not the only
thing that mattered?

Best regards

I am searching for programmers who are good at least in
(Haskell || ML) && (Linux || FreeBSD || math)
for work in Warsaw, Poland

More information about the Haskell-Cafe mailing list