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