|
A case for inline type annotations
|
|
55
|
1355
|
June 19, 2025
|
|
Do you think the new type system would be enough to attract folks that are also interested in OCaml, Haskell, and Scala?
|
|
12
|
551
|
June 11, 2025
|
|
Set Theoretic Type System topic
|
|
1
|
130
|
January 24, 2025
|
|
No escape hatch for typing error
|
|
3
|
70
|
January 23, 2025
|
|
How to prepare for new set-theoretic types syntax / signatures?
|
|
12
|
795
|
October 1, 2024
|
|
Typing violation warning when comparing atoms
|
|
13
|
597
|
July 1, 2024
|
|
Union vs Intersection for function types in Elixir gradual type system
|
|
2
|
499
|
March 11, 2024
|
|
Will the new type system allow defining Sum types?
|
|
17
|
1720
|
March 7, 2024
|
|
Full static type inference of set theoretic types
|
|
57
|
3716
|
January 29, 2024
|
|
Changelog podcast with José Valim - "Gradually gradually typing Elixir"
|
|
1
|
557
|
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
|
11760
|
January 15, 2024
|
|
Gleam Has A New Web Framework
|
|
10
|
13317
|
November 29, 2023
|
|
What are your concerns about a future type system for Elixir?
|
|
88
|
6022
|
August 16, 2023
|
|
What do you prefer to use for type checking Elixir/Erlang code? (poll)
|
|
21
|
3423
|
May 2, 2023
|
|
Current prospect for typed replacement? (gleam doesn't support elixir macros)
|
|
3
|
922
|
November 11, 2022
|
|
Zero-cost abstraction for NewTypes in Elixir
|
|
28
|
3443
|
April 7, 2022
|
|
Dialyzer cannot recognize error in function using polymorphic types
|
|
10
|
2476
|
February 18, 2022
|
|
Gradualyzer vs Dialyzer - main differences?
|
|
29
|
4835
|
February 13, 2022
|
|
Cannot understand warnings in Gradient
|
|
4
|
1362
|
February 7, 2022
|
|
Sesterl - An ML-inspired statically-typed Erlang
|
|
12
|
2554
|
October 3, 2021
|
|
Bidirectional Typing for Erlang (prototype)
|
|
1
|
1029
|
August 26, 2021
|
|
Typechecker for Elixir
|
|
14
|
4156
|
July 7, 2021
|
|
Gleam, a statically typed language for the Erlang VM
|
|
306
|
32145
|
May 6, 2021
|
|
Caramel: an OCaml to Erlang compiler
|
|
5
|
2102
|
January 26, 2021
|
|
Mavis - Typing Library for elixir
|
|
21
|
3250
|
November 23, 2020
|
|
Facebook is writing a new, statically typed language to run on the BEAM?!
|
|
38
|
15374
|
November 9, 2020
|
|
Typespecing a map of arbitrary integer keys?
|
|
6
|
1369
|
October 27, 2020
|
|
Erlang code generator for Idris 2
|
|
3
|
1744
|
October 4, 2020
|
|
Phoenix, type annotations and Dialyzer
|
|
5
|
2037
|
August 27, 2020
|
