[Haskell-cafe] A Mascot

Bas van Dijk v.dijk.bas at gmail.com
Wed Nov 16 10:46:10 CET 2011

On 16 November 2011 05:18, John Meacham <john at repetae.net> wrote:
> Not nearly enough
> attention is paid to the other striking feature, the laziness. The
> 'bottom' symbol _|_ should feature prominently. The two most defining
> features of haskell are that it is purely functional and _|_ inhabits
> every type. The combination of which is very powerful.

Is ⊥ the right symbol to express the non-strict evaluation of the
language? Is it true that non-strict evaluation requires that ⊥
inhabits every type? In other words: why can't there exist a
non-strict total language (probably having some form of coinductive



More information about the Haskell-Cafe mailing list