Lazier Binary Decision Diagrams for set-theoretic types (elixir-lang.org)

Screenshot of elixir-lang.org: Lazier Binary Decision Diagrams for set-theoretic types

First screen, captured 10 months ago.

Looks similar

Screenshot of elixir-lang.org: Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27

Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27 (elixir-lang.org)

436 points by clessg 2 years ago | 114 comments

Official Elixir blog post announcing Elixir v1.17, adding set-theoretic types in patterns, calendar durations, and Erlang/OTP 27 support.

elixir erlang-otp type-systems set-theoretic-types

Screenshot of elixir-lang.org: Elixir 1.19

Elixir 1.19 (elixir-lang.org)

354 points by theanirudh 1 year ago | 113 comments

Official Elixir blog post announcing the v1.19 release, with enhanced type checking, broader type inference, and up to 4x faster compilation for large projects.

elixir erlang-beam type-systems type-inference

Screenshot of elixir-lang.org: Typing lists and tuples in Elixir

Typing lists and tuples in Elixir (elixir-lang.org)

209 points by idmitrievsky 2 years ago | 45 comments

Screenshot of elixir-lang.org: Elixir v1.20: Now a gradually typed language

Elixir v1.20: Now a gradually typed language (elixir-lang.org)

959 points by cloud8421 4 months ago | 377 comments

Official Elixir blog post by José Valim announcing Elixir v1.20, which adds type inference and gradual type checking to every Elixir program without annotations.

elixir type-systems gradual-typing type-inference