TypeCheck - Fast and flexible runtime type-checking for your Elixir projects
|
|
99
|
13100
|
July 19, 2024
|
TypeResolver - parse and resolve spec types into convenient structs
|
|
0
|
72
|
July 19, 2024
|
Typing violation warning when comparing atoms
|
|
13
|
441
|
July 1, 2024
|
"The pattern can never match the type." error from dialyzer
|
|
12
|
288
|
June 1, 2024
|
Better to use t vs t() for type specifications?
|
|
4
|
293
|
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
|
3226
|
May 2, 2023
|
String text = ”data type in Elixir”;
|
|
8
|
911
|
December 29, 2022
|
Domo - model a business domain with type-safe structs and field type range checks
|
|
27
|
4539
|
December 8, 2022
|
Set-theoretic types across process boundaries?
|
|
1
|
738
|
October 12, 2022
|
Weird behavior in a test case
|
|
7
|
704
|
August 11, 2022
|
Eqwalizer: A Type-Checker for Erlang
|
|
5
|
1329
|
August 8, 2022
|
TypeScript, but for Elixir?
|
|
23
|
5511
|
February 21, 2022
|
Dialyzer cannot recognize error in function using polymorphic types
|
|
10
|
2393
|
February 18, 2022
|
Cannot understand warnings in Gradient
|
|
4
|
1346
|
February 7, 2022
|
Dialyzer woes: How to ignore certain warnings in macro-generated code?
|
|
3
|
2229
|
January 23, 2022
|
Bidirectional Typing for Erlang (prototype)
|
|
1
|
1020
|
August 26, 2021
|
Typechecker for Elixir
|
|
14
|
4107
|
July 7, 2021
|
Looking for codebases having lots of structs (to measure custom compiler times)
|
|
2
|
824
|
June 8, 2021
|
Why does dialyzer overlook this spec miss-match?
|
|
1
|
706
|
April 29, 2021
|
Closest thing to static type checking?
|
|
10
|
2658
|
March 3, 2021
|
Caramel: an OCaml to Erlang compiler
|
|
5
|
2069
|
January 26, 2021
|
"Strongly-typed" Phoenix channel messages
|
|
1
|
863
|
November 6, 2020
|
Typespecing a map of arbitrary integer keys?
|
|
6
|
1344
|
October 27, 2020
|
Dialyzer - Function foo/1 has no local return
|
|
5
|
16789
|
October 13, 2020
|
Nice overview of Clojure Spec
|
|
2
|
877
|
September 11, 2020
|
Tyyppi — bringing erlang typespecs to runtime
|
|
0
|
726
|
July 23, 2020
|
User defined tags and type-safe structs for domain modelling (Domo library)
|
|
12
|
2466
|
June 1, 2021
|
Why type-check functions do not end with a question mark?
|
|
2
|
778
|
February 27, 2020
|
Macro idea: total case statements
|
|
3
|
1265
|
March 14, 2019
|