|
String text = ”data type in Elixir”;
|
|
8
|
408
|
December 29, 2022
|
|
Domo - model a business domain with type-safe structs and field type range checks
|
|
27
|
3369
|
December 8, 2022
|
|
Set-theoretic types across process boundaries?
|
|
1
|
289
|
October 12, 2022
|
|
Weird behavior in a test case
|
|
7
|
273
|
August 11, 2022
|
|
Eqwalizer: A Type-Checker for Erlang
|
|
5
|
751
|
August 8, 2022
|
|
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects
|
|
98
|
9844
|
June 19, 2022
|
|
TypeScript, but for Elixir?
|
|
23
|
3633
|
February 21, 2022
|
|
Dialyzer cannot recognize error in function using polymorphic types
|
|
10
|
1085
|
February 18, 2022
|
|
Cannot understand warnings in Gradient
|
|
4
|
559
|
February 7, 2022
|
|
Dialyzer woes: How to ignore certain warnings in macro-generated code?
|
|
3
|
957
|
January 23, 2022
|
|
Bidirectional Typing for Erlang (prototype)
|
|
1
|
633
|
August 26, 2021
|
|
Typechecker for Elixir
|
|
14
|
3227
|
July 7, 2021
|
|
Looking for codebases having lots of structs (to measure custom compiler times)
|
|
2
|
518
|
June 8, 2021
|
|
Why does dialyzer overlook this spec miss-match?
|
|
1
|
420
|
April 29, 2021
|
|
Closest thing to static type checking?
|
|
10
|
1319
|
March 3, 2021
|
|
Caramel: an OCaml to Erlang compiler
|
|
5
|
1619
|
January 26, 2021
|
|
"Strongly-typed" Phoenix channel messages
|
|
1
|
529
|
November 6, 2020
|
|
Typespecing a map of arbitrary integer keys?
|
|
6
|
766
|
October 27, 2020
|
|
Dialyzer - Function foo/1 has no local return
|
|
5
|
8609
|
October 13, 2020
|
|
Nice overview of Clojure Spec
|
|
2
|
643
|
September 11, 2020
|
|
Tyyppi — bringing erlang typespecs to runtime
|
|
0
|
511
|
July 23, 2020
|
|
User defined tags and type-safe structs for domain modelling (Domo library)
|
|
12
|
1672
|
June 1, 2021
|
|
Why type-check functions do not end with a question mark?
|
|
2
|
508
|
February 27, 2020
|
|
Macro idea: total case statements
|
|
3
|
948
|
March 14, 2019
|
