[Haskell-cafe] Re: New slogan for haskell.org

Simon Marlow writes:

Perhaps

Type Inference: deduces types automatically, so you don't have to clutter up your code with type declarations. You can still write type declarations for documentation purposes, and these will be automatically checked by the compiler.

Perhaps it won't harm adding that manual signatures are useful semantically as well, for the disambiguation.

What I'd *really* like to see is a bunch of links on the front page leading to pages that describe the main differences between Haskell and some other language (C, Python, Java, C#, F#, ...).

... and, perhaps, playing not only with the pedagogy by contrast, but also by similarities, to mention Clean. Jerzy Karczmarczuk