[erlang-questions] Typed records and erl_parse

[Christian S]

>    fwiw; i think making it easier to type annotate is a good thing. i second
> Christian S' wish for (fear of?) "shorthand for type-guards when pattern matching".

Neither actually, it was more of a "If we add this, are we creating a
consistent language that makes sense?" in a rhetorical way. How do we
explain to newbies that it is
-record(foo, {bar :: gurka(), baz :: banan()})

but not

salad(Thing :: foo()) ->
   ...