Bidirectional Typing for Erlang (prototype)
|
|
1
|
807
|
August 26, 2021
|
Podcast: ElixirMix 141 - Domo and Type Validations ft. Ivan Rublev
|
|
0
|
482
|
August 19, 2021
|
Podcast: Podcast: ElixirMix 139 - Gleam and Typing ft. Louis Pilfold
|
|
0
|
618
|
August 11, 2021
|
Typespec for a type implementing behaviour
|
|
6
|
2516
|
July 25, 2021
|
What does this Erlang type syntax for a map mean?
|
|
3
|
592
|
June 23, 2021
|
Parametric generics, shrinking and negation in typespecs
|
|
3
|
739
|
March 23, 2021
|
Macro to generate record and matching @type
|
|
0
|
460
|
February 17, 2021
|
Explanatinos about `use Ecto.Type` and `@behaviour Ecto.Type`
|
|
3
|
2192
|
February 6, 2021
|
Can you define spec for function with specific arity?
|
|
9
|
1799
|
January 30, 2021
|
Please help me understand the following typespec
|
|
4
|
742
|
November 15, 2020
|
Typespec for any struct with required key
|
|
1
|
703
|
November 13, 2020
|
Typespecing a map of arbitrary integer keys?
|
|
6
|
1014
|
October 27, 2020
|
Stories of success or despair when foregoing typespecs in Elixir/Erlang
|
|
14
|
1882
|
August 24, 2020
|
What exactly is t() (except type specification)
|
|
4
|
1806
|
August 18, 2020
|
Static type casting instead of dynamic for code quality/readability/production
|
|
2
|
481
|
June 29, 2020
|
User defined tags and type-safe structs for domain modelling (Domo library)
|
|
12
|
2087
|
June 1, 2021
|
Why type-check functions do not end with a question mark?
|
|
2
|
621
|
February 27, 2020
|
Dialyzer Unknown type for struct
|
|
3
|
1214
|
January 17, 2020
|
Which type would you define here?
|
|
3
|
434
|
January 14, 2020
|
Loggable - protocol for custom views of data in logs (hide sensitive data etc)
|
|
0
|
686
|
August 21, 2019
|
Calculus - New data types, private, immutable fields and smart constructors
|
|
16
|
2072
|
August 20, 2019
|
Equalable, Comparable, Readable - missing kernel protocols
|
|
0
|
759
|
August 17, 2019
|