type-system
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Any Copyable vs Any |
|
1 | 232 | August 16, 2026 |
| [Pitch] Dependent Types & Universes (Stage 1 of Proof-Driven Development?) |
|
52 | 5821 | June 13, 2026 |
| Formalization of Swift Concurrency Type System (Experimental) |
|
0 | 272 | April 15, 2026 |
| [Re-Proposal] Type only Unions |
|
102 | 6189 | January 21, 2025 |
| A good bit of philosophical advice |
|
0 | 236 | September 2, 2024 |
| [Answered] Disjunctions in types: Why is this "something that the type system cannot and should not support"? |
|
2 | 741 | June 22, 2024 |
| What is the name of this technique/pattern? |
|
9 | 1114 | February 22, 2024 |
| Please help me understand "Finding the Dynamic Type in a Generic Context" |
|
5 | 761 | February 16, 2024 |
| Type inference, unification, and function overloading? |
|
3 | 904 | 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 | 8526 | April 21, 2023 |
| Typealiases inside protocols |
|
2 | 989 | October 3, 2022 |