Personal tools

Non-empty list

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Category:Idioms)
(advocacy)
Line 1: Line 1:
 
It is possible to assert statically that lists are non-empty using proper [http://www.haskell.org/pipermail/haskell-cafe/2006-November/019593.html type design].
 
It is possible to assert statically that lists are non-empty using proper [http://www.haskell.org/pipermail/haskell-cafe/2006-November/019593.html type design].
  +
  +
Maybe, you are also interested in [http://www.haskell.org/pipermail/haskell-cafe/2006-November/019644.html advocacy] of this style.
   
 
[[Category:Idioms]]
 
[[Category:Idioms]]

Revision as of 13:33, 20 November 2006

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.