Post

~venir 🇪🇺🇺🇦
@venir.dev

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/...

github.comSet-theoretic types: inference of all language constructs · Issue #14558 · elixir-lang/elixirMajor 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...

11 reposts21 likes

No replies yet.