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

Robert Virding robert.virding@REDACTED
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.

Robert



More information about the erlang-questions mailing list