[email protected]
[Top] [All Lists]

Re: [Haskell-cafe] Naive booleans and numbers - type-checking fails

Subject: Re: [Haskell-cafe] Naive booleans and numbers - type-checking fails
From: Stephen Tetley
Date: Sun, 24 Jan 2010 21:12:19 +0000
Doesn't the simply typed lambda calculus introduce if-then-else as a
primitive precisely so that it can be typed?

Its not an illuminating answer to your question and I'd welcome
clarification for my own understanding, but I don't think you can
solve the problem without appealing to Haskell's built-in
if-then-else.

Best wishes

Stephen
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

<Prev in Thread] Current Thread [Next in Thread>