Swift Forums

Loading

Swift Forums

type-system

Topic		Replies	Views	Activity
[Re-Proposal] Type only Unions Discussion type-system , typed-throws		89	3364	July 4, 2024
[Answered] Disjunctions in types: Why is this "something that the type system cannot and should not support"? Discussion type-system		2	605	June 22, 2024
What is the name of this technique/pattern? Using Swift generics , swift , swiftui , type-system		9	942	February 22, 2024
Please help me understand "Finding the Dynamic Type in a Generic Context" Using Swift generics , compiler , runtime , compilation-time , type-system		5	472	February 16, 2024
Type inference, unification, and function overloading? Compiler type-inference , type-system		3	665	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) Using Swift type-system		4	1724	April 21, 2023
[Pitch] Dependent Types & Universes (Stage 1 of Proof-Driven Development?) Pitches compiler , type-system , dependent-types , universes		44	4214	April 4, 2023
Typealiases inside protocols Using Swift extensions , typealias , protocol , type-system		2	775	October 3, 2022

Powered by Discourse, best viewed with JavaScript enabled