Non-empty list

From HaskellWiki
Revision as of 13:33, 20 November 2006 by Lemming (talk | contribs) (advocacy)
Jump to navigation Jump to 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.