TypeScript, but for Elixir?
|
|
23
|
5105
|
February 21, 2022
|
Can an elixir comprehensions return something other than a List?
|
|
11
|
1483
|
February 15, 2022
|
How to combine @type?
|
|
7
|
1323
|
February 8, 2022
|
Ivoking a macro within a @type on the right side of `::`
|
|
1
|
551
|
January 13, 2022
|
Wheres the idiomatic place to add type specs?
|
|
4
|
516
|
November 5, 2021
|
Bidirectional Typing for Erlang (prototype)
|
|
1
|
932
|
August 26, 2021
|
Podcast: ElixirMix 141 - Domo and Type Validations ft. Ivan Rublev
|
|
0
|
563
|
August 19, 2021
|
Podcast: Podcast: ElixirMix 139 - Gleam and Typing ft. Louis Pilfold
|
|
0
|
685
|
August 11, 2021
|
Typespec for a type implementing behaviour
|
|
6
|
2949
|
July 25, 2021
|
What does this Erlang type syntax for a map mean?
|
|
3
|
666
|
June 23, 2021
|
Parametric generics, shrinking and negation in typespecs
|
|
3
|
826
|
March 23, 2021
|
Macro to generate record and matching @type
|
|
0
|
518
|
February 17, 2021
|
Explanatinos about `use Ecto.Type` and `@behaviour Ecto.Type`
|
|
3
|
2368
|
February 6, 2021
|
Can you define spec for function with specific arity?
|
|
9
|
2071
|
January 30, 2021
|
Please help me understand the following typespec
|
|
4
|
873
|
November 15, 2020
|
Typespec for any struct with required key
|
|
1
|
837
|
November 13, 2020
|
Typespecing a map of arbitrary integer keys?
|
|
6
|
1192
|
October 27, 2020
|
Stories of success or despair when foregoing typespecs in Elixir/Erlang
|
|
14
|
2036
|
August 24, 2020
|
What exactly is t() (except type specification)
|
|
4
|
2010
|
August 18, 2020
|
Static type casting instead of dynamic for code quality/readability/production
|
|
2
|
524
|
June 29, 2020
|
User defined tags and type-safe structs for domain modelling (Domo library)
|
|
12
|
2322
|
June 1, 2021
|
Why type-check functions do not end with a question mark?
|
|
2
|
716
|
February 27, 2020
|
Dialyzer Unknown type for struct
|
|
3
|
1378
|
January 17, 2020
|
Which type would you define here?
|
|
3
|
472
|
January 14, 2020
|
Loggable - protocol for custom views of data in logs (hide sensitive data etc)
|
|
0
|
752
|
August 21, 2019
|
Calculus - New data types, private, immutable fields and smart constructors
|
|
16
|
2235
|
August 20, 2019
|
Equalable, Comparable, Readable - missing kernel protocols
|
|
0
|
816
|
August 17, 2019
|