[erlang-questions] Types and specs [WAS: [enhancement] string:split/2]
Mon Oct 13 04:48:15 CEST 2008
On 11 Oct 2008, at 12:33 am, Kostis Sagonas wrote that
[[char(),...]] means list of non-empty strings, which
is more precise than [string()].
Would [char()|string()] also work?
> On the other hand, I can see how this may look a bit strange to some
> and have for a long time now pondered whether a non_empty_string()
> type alias might be added to the list of built-in types.
It would certainly make some types easier to read.
More information about the erlang-questions