| A case for inline type annotations |           | 59 | 1841 | August 25, 2025 | 
        
          | Set Theoretic Type System topic |     | 1 | 155 | January 24, 2025 | 
        
          | No escape hatch for typing error |     | 3 | 72 | January 23, 2025 | 
        
          | How to prepare for new set-theoretic types syntax / signatures? |           | 12 | 874 | October 1, 2024 | 
        
          | Typing violation warning when comparing atoms |           | 13 | 645 | July 1, 2024 | 
        
          | Union vs Intersection for function types in Elixir gradual type system |       | 2 | 515 | March 11, 2024 | 
        
          | Will the new type system allow defining Sum types? |           | 17 | 1833 | March 7, 2024 | 
        
          | Full static type inference of set theoretic types |           | 57 | 3754 | January 29, 2024 | 
        
          | Changelog podcast with José Valim - "Gradually gradually typing Elixir" |   | 1 | 560 | January 29, 2024 | 
        
          | Difference between test and running code for controllers |   | 0 | 201 | January 29, 2024 | 
        
          | Jose Valim: "Elixir is, officially, a gradually typed language" |           | 57 | 12987 | January 15, 2024 | 
        
          | Gleam Has A New Web Framework |           | 10 | 13769 | November 29, 2023 | 
        
          | What are your concerns about a future type system for Elixir? |           | 88 | 6170 | August 16, 2023 | 
        
          | What do you prefer to use for type checking Elixir/Erlang code? (poll) |           | 21 | 3473 | May 2, 2023 | 
        
          | Current prospect for typed replacement? (gleam doesn't support elixir macros) |     | 3 | 943 | November 11, 2022 | 
        
          | Zero-cost abstraction for NewTypes in Elixir |           | 28 | 3494 | April 7, 2022 | 
        
          | Dialyzer cannot recognize error in function using polymorphic types |       | 10 | 2491 | February 18, 2022 | 
        
          | Gradualyzer vs Dialyzer - main differences? |           | 29 | 4899 | February 13, 2022 | 
        
          | Cannot understand warnings in Gradient |     | 4 | 1370 | February 7, 2022 | 
        
          | Sesterl - An ML-inspired statically-typed Erlang |           | 12 | 2562 | October 3, 2021 | 
        
          | Bidirectional Typing for Erlang (prototype) |     | 1 | 1033 | August 26, 2021 | 
        
          | Typechecker for Elixir |           | 14 | 4164 | July 7, 2021 | 
        
          | Gleam, a statically typed language for the Erlang VM |           | 306 | 32461 | May 6, 2021 | 
        
          | Caramel: an OCaml to Erlang compiler |         | 5 | 2115 | January 26, 2021 | 
        
          | Mavis - Typing Library for elixir |           | 21 | 3258 | November 23, 2020 | 
        
          | Facebook is writing a new, statically typed language to run on the BEAM?! |           | 38 | 15391 | November 9, 2020 | 
        
          | Typespecing a map of arbitrary integer keys? |         | 6 | 1374 | October 27, 2020 | 
        
          | Erlang code generator for Idris 2 |         | 3 | 1754 | October 4, 2020 | 
        
          | Phoenix, type annotations and Dialyzer |           | 5 | 2060 | August 27, 2020 | 
        
          | Hamler Programming Language |           | 9 | 2833 | June 17, 2020 |