type safety (was Re: FAQ terminology harmonisation)

[Peter-Henry Mander]

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.

Pete.

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

----- snip -----