[Haskell-cafe] Article review: Category Theory

Nils Anders Danielsson nad at cs.chalmers.se
Fri Jan 19 07:57:22 EST 2007

On Fri, 19 Jan 2007, Ulf Norell <ulfn at cs.chalmers.se> wrote:

> Personally I think that the distinction between _|_ and \x -> _|_ is
> a mistake and should be ignored whenever possible.

If you want to write an accessible tutorial you should probably use a
total programming language, or at least the total fragment of some
language, for the programming-related examples. I'd mention the
problems with Haskell, restrict the language in some way, and then
move on.


More information about the Haskell-Cafe mailing list