What Erlang does almost right: types can be derived from pattern matching using dialyzer. Is there a way to modify the matcher to get proper algebraic types?
Conversation
Replying to
well i think i know what i need to do: to read the dialyzer paper and work from that understanding. tried it before but i wasn't ready. there is also a ton of work on gradual typing, and someone mentioned refinement types (which i don't know, tweet was deleted). for now, i hack.