Full static type inference of set theoretic types
|
|
48
|
1590
|
September 22, 2023
|
:mnesia.table() and :mnesia.create_option() types not recognized
|
|
2
|
112
|
September 21, 2023
|
Types 'n' Testing
|
|
66
|
1210
|
August 28, 2023
|
Converting an enumerated type from swift into an equivalent in elixir
|
|
2
|
178
|
July 3, 2023
|
Podcast: Thinking Elixir 157 - Adding Dialyzer Late in the Game
|
|
0
|
184
|
June 27, 2023
|
How to typespec a float range in Elixir?
|
|
20
|
519
|
June 22, 2023
|
Create @behaviour and @type with macro
|
|
5
|
269
|
June 21, 2023
|
Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023
|
|
6
|
1534
|
June 8, 2023
|
Podcast: Elixir Wizards Podcast - Interview with José, Guillaume, & Giuseppe - [S10E12]
|
|
5
|
380
|
June 8, 2023
|
Resources for how types are implemented in Elixir?
|
|
0
|
239
|
May 5, 2023
|
What do you prefer to use for type checking Elixir/Erlang code? (poll)
|
|
21
|
1835
|
May 2, 2023
|
Any update on the Set theoretic types?
|
|
3
|
1272
|
April 27, 2023
|
Get types from struct in compilation time
|
|
2
|
296
|
April 24, 2023
|
How to convert a typed definition to a typedstruct?
|
|
6
|
458
|
January 26, 2023
|
Domo - model a business domain with type-safe structs and field type range checks
|
|
27
|
3811
|
December 8, 2022
|
Set-theoretic types across process boundaries?
|
|
1
|
481
|
October 12, 2022
|
Weird behavior in a test case
|
|
7
|
401
|
August 11, 2022
|
Do these type make any sense?
|
|
6
|
337
|
August 8, 2022
|
Adapting to Elixir, coming from C# and Typescript
|
|
13
|
1497
|
July 21, 2022
|
Build a union type from a list?
|
|
5
|
781
|
July 19, 2022
|
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects
|
|
98
|
10831
|
June 19, 2022
|
A gradual type system for Elixir (ScienceDirect) - has anyone seen this paper on static typing for Elixir?
|
|
2
|
1141
|
April 29, 2022
|
Zero-cost abstraction for NewTypes in Elixir
|
|
28
|
2534
|
April 7, 2022
|
How to define Macro for a new Type?
|
|
9
|
1198
|
April 6, 2022
|
Incorrect dialyzer warning with defguard
|
|
1
|
527
|
April 6, 2022
|
TypeScript, but for Elixir?
|
|
23
|
4341
|
February 21, 2022
|
Can an elixir comprehensions return something other than a List?
|
|
11
|
1039
|
February 15, 2022
|
How to combine @type?
|
|
7
|
1007
|
February 8, 2022
|
Ivoking a macro within a @type on the right side of `::`
|
|
1
|
449
|
January 13, 2022
|
Wheres the idiomatic place to add type specs?
|
|
4
|
458
|
November 5, 2021
|