|
The Two Types of Quality
|
|
1
|
47
|
8 August 2022
|
|
Programming with union, intersection, and negation types
|
|
1
|
64
|
7 July 2022
|
|
The two types of creativity that peak at different ages
|
|
1
|
61
|
27 June 2022
|
|
Trivia About Rust Types
|
|
2
|
112
|
8 June 2022
|
|
How to define Macro for a new Type?
|
|
10
|
291
|
6 April 2022
|
|
Algebraic Data Types in Haskell
|
|
1
|
204
|
30 March 2022
|
|
Hacking sum types with Go generics
|
|
1
|
234
|
15 March 2022
|
|
Dialyzer cannot recognize error in function using polymorphic types
|
|
9
|
321
|
18 February 2022
|
|
Cannot understand warnings in Gradient
|
|
3
|
225
|
7 February 2022
|
|
ElixirMix 141 - Domo and Type Validations ft. Ivan Rublev
|
|
1
|
304
|
19 August 2021
|
|
Podcast: ElixirMix 139 - Gleam and Typing ft. Louis Pilfold
|
|
1
|
439
|
11 August 2021
|
|
On Types (why it's not for me)
|
|
2
|
206
|
29 June 2021
|
|
Counterexamples in Type Systems
|
|
1
|
261
|
23 May 2021
|
|
Python 3 Types in the Wild: A Tale of Two Type Systems (pdf)
|
|
1
|
416
|
14 April 2021
|
|
The magical applications of Zero-Sized Types in Rust
|
|
1
|
316
|
31 March 2021
|
|
Phantom Types in Gleam
|
|
1
|
446
|
28 February 2021
|
|
Go proposal: types that can only be created by defining package
|
|
1
|
435
|
19 January 2021
|
|
Types of Dark Patterns
|
|
1
|
307
|
27 December 2020
|
|
Adopting Ruby 3 types with RBS
|
|
1
|
450
|
27 December 2020
|
