|
Are typespecs deprecated? (Reddit thread answer from Jose)
|
|
11
|
459
|
January 27, 2025
|
|
How to make a module depend on a behaviour?
|
|
10
|
168
|
January 23, 2025
|
|
How to fix type violation warning from a macro in Elixir 1.18
|
|
2
|
107
|
January 22, 2025
|
|
Credo check for encouraging pattern matching by struct in the parameters
|
|
1
|
106
|
December 20, 2024
|
|
How will Ash integrate the new Set Theoretic Type System?
|
|
2
|
146
|
December 17, 2024
|
|
Typing violation because of `Application.compile_env/2`
|
|
3
|
64
|
December 13, 2024
|
|
Dialyzer warning from hell: no_return when calling erl_tar.create
|
|
10
|
74
|
November 6, 2024
|
|
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects
|
|
100
|
13404
|
October 21, 2024
|
|
TypeResolver - parse and resolve spec types into convenient structs
|
|
0
|
85
|
July 19, 2024
|
|
Typing violation warning when comparing atoms
|
|
13
|
559
|
July 1, 2024
|
|
"The pattern can never match the type." error from dialyzer
|
|
12
|
438
|
June 1, 2024
|
|
Better to use t vs t() for type specifications?
|
|
4
|
310
|
April 6, 2024
|
|
Difference between test and running code for controllers
|
|
0
|
201
|
January 29, 2024
|
|
What do you prefer to use for type checking Elixir/Erlang code? (poll)
|
|
21
|
3377
|
May 2, 2023
|
|
String text = ”data type in Elixir”;
|
|
8
|
940
|
December 29, 2022
|
|
Domo - model a business domain with type-safe structs and field type range checks
|
|
27
|
4571
|
December 8, 2022
|
|
Set-theoretic types across process boundaries?
|
|
1
|
740
|
October 12, 2022
|
|
Weird behavior in a test case
|
|
7
|
704
|
August 11, 2022
|
|
Eqwalizer: A Type-Checker for Erlang
|
|
5
|
1353
|
August 8, 2022
|
|
TypeScript, but for Elixir?
|
|
23
|
5696
|
February 21, 2022
|
|
Dialyzer cannot recognize error in function using polymorphic types
|
|
10
|
2468
|
February 18, 2022
|
|
Cannot understand warnings in Gradient
|
|
4
|
1360
|
February 7, 2022
|
|
Dialyzer woes: How to ignore certain warnings in macro-generated code?
|
|
3
|
2302
|
January 23, 2022
|
|
Bidirectional Typing for Erlang (prototype)
|
|
1
|
1028
|
August 26, 2021
|
|
Typechecker for Elixir
|
|
14
|
4137
|
July 7, 2021
|
|
Looking for codebases having lots of structs (to measure custom compiler times)
|
|
2
|
827
|
June 8, 2021
|
|
Why does dialyzer overlook this spec miss-match?
|
|
1
|
707
|
April 29, 2021
|
|
Closest thing to static type checking?
|
|
10
|
2877
|
March 3, 2021
|
|
Caramel: an OCaml to Erlang compiler
|
|
5
|
2097
|
January 26, 2021
|
|
"Strongly-typed" Phoenix channel messages
|
|
1
|
882
|
November 6, 2020
|
