type-system
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [Re-Proposal] Type only Unions |
|
102 | 5057 | January 21, 2025 |
| A good bit of philosophical advice |
|
0 | 199 | September 2, 2024 |
| [Answered] Disjunctions in types: Why is this "something that the type system cannot and should not support"? |
|
2 | 656 | June 22, 2024 |
| What is the name of this technique/pattern? |
|
9 | 992 | February 22, 2024 |
| Please help me understand "Finding the Dynamic Type in a Generic Context" |
|
5 | 643 | February 16, 2024 |
| Type inference, unification, and function overloading? |
|
3 | 791 | 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 | 7879 | April 21, 2023 |
| [Pitch] Dependent Types & Universes (Stage 1 of Proof-Driven Development?) |
|
44 | 4497 | April 4, 2023 |
| Typealiases inside protocols |
|
2 | 874 | October 3, 2022 |