//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
is this such an important step for computer science - i.e. not just for #Elixir / OTP this issue is now *done*. damn! github.com/elixir-lang/...
1mo
Major milestones: Tracking of variables Type inference of patterns Type inference of guards Propagate types from guards to patterns Deal with multiple environments in orelse/andalso Deal with multi...
Set-theoretic types: inference of all language constructs · Issue #14558 · elixir-lang/elixir
github.com
~venir 🇪🇺🇺🇦