type-system
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [Pitch] Dependent Types & Universes (Stage 1 of Proof-Driven Development?) |
|
52 | 5578 | June 13, 2026 |
| Formalization of Swift Concurrency Type System (Experimental) |
|
0 | 251 | April 15, 2026 |
| [Re-Proposal] Type only Unions |
|
102 | 5830 | January 21, 2025 |
| A good bit of philosophical advice |
|
0 | 221 | September 2, 2024 |
| [Answered] Disjunctions in types: Why is this "something that the type system cannot and should not support"? |
|
2 | 717 | June 22, 2024 |
| What is the name of this technique/pattern? |
|
9 | 1080 | February 22, 2024 |
| Please help me understand "Finding the Dynamic Type in a Generic Context" |
|
5 | 726 | February 16, 2024 |
| Type inference, unification, and function overloading? |
|
3 | 868 | October 19, 2023 |
| The compiler is unable to type-check this expression in reasonable time... String [edit] addition with an Int in the mix (solved) |
|
4 | 8443 | April 21, 2023 |
| Typealiases inside protocols |
|
2 | 960 | October 3, 2022 |