type safety (was Re: FAQ terminology harmonisation)

Peter-Henry Mander erlang@REDACTED
Fri Apr 4 09:03:49 CEST 2003

Hmm... This emphasis on exact matching on type would potentially break 
an aspect of Erlang I have learnt to appreciate: pattern matching. I can 
make a function match exactly or match with increasing degrees of 
generality. A special case function first, followed by general case. If 
none match, an exception occurs. I can work with a bit of dicipline and 
tag my tuples, and enforce that functions only acccept tagged tuples.


Chris Pressey wrote:
> On Fri, 04 Apr 2003 00:28:09 +0100
> "C.Reinke" <C.Reinke@REDACTED> wrote:

----- snip -----

More information about the erlang-questions mailing list