types
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Counterexamples in Type Systems |
|
1 | 553 | 23 May 2021 |
| Python 3 Types in the Wild: A Tale of Two Type Systems (pdf) |
|
1 | 832 | 14 April 2021 |
| The magical applications of Zero-Sized Types in Rust |
|
1 | 627 | 31 March 2021 |
| Phantom Types in Gleam |
|
1 | 882 | 28 February 2021 |
| Go proposal: types that can only be created by defining package |
|
1 | 840 | 19 January 2021 |
| Types of Dark Patterns |
|
1 | 525 | 27 December 2020 |
| Adopting Ruby 3 types with RBS |
|
1 | 813 | 27 December 2020 |