Personal tools

Non-empty list

From HaskellWiki

Revision as of 13:33, 20 November 2006 by Lemming (Talk | contribs)

Jump to: navigation, search

It is possible to assert statically that lists are non-empty using proper type design.

Maybe, you are also interested in advocacy of this style.