4 ms·
But these are solutions for some Array of unknown size or some abstract collection - why to call it a List? For a List the notion of the-empty-list is essential
by dschiptsov 13y ago
But these are solutions for some Array of unknown size or some abstract collection - why to call it a List? For a List the notion of the-empty-list is essential.
- Peaker 13y agoNot for the NonEmptyList... Is your problem mainly what you call this notion?
- dschiptsov 13y agoI'm an old-school perfectionist, sorry.) http://karma-engineering.com/lab/wiki/Tutorial10 http://karma-engineering.com/lab/wiki/Tutorial10
- Peaker 13y agoIf you have a structure whose only difference from a list is that it is guaranteed to have at least one element, why not call it a NonEmptyList?