[erlang-questions] The compiler "eats" structures which are not separated by commas

Robert Virding <>
Mon Apr 23 04:39:05 CEST 2012

----- Original Message -----
> Richard O'Keefe schrieb:
> > 	Expr#Name{Field1 := Expr1, ..., Fieldn := Exprn}
> > 	                 ^                     ^
> You still have the clutter of the Name (= RecordType),
> which a language with type inference doesn't need.

Type inferencing in erlang doesn't work. Unfortunately. There are too many places where it breaks down to be useful, for example message passing and code loading. There were attempts in the 90's by people much more knowledgeable than we were on this.


More information about the erlang-questions mailing list