Featherweight Swift: a Core calculus for Swift’s type system
Citations Over Time
Abstract
Swift is a modern general-purpose programming language, designed to be a replacement for C-based languages. Although primarily directed at development of applications for Apple's operating systems, Swift's adoption has been growing steadily in other domains, ranging from server-side services to machine learning. This success can be partly attributed to a rich type system that enables the design of safe, fast, and expressive programming interfaces. Unfortunately, this richness comes at the cost of complexity, setting a high entry barrier to exploit Swift's full potential. Furthermore, existing documentation typically only relies on examples, leaving new users with little help to build a deeper understanding of the underlying rules and mechanisms.
Related Papers
- Swift-BAT trigger 960986: Swift detection of a new SGR Swift J1818.0-1607(2020)
- On the Satire in Swift's Poem:Verses on the Death of Dr.Swift(2002)
- Swift trigger 755873: Swift BAT and XRT refined analysis(2017)
- Trigger 980513: Swift detection of SGR Swift J1818.0-1607(2020)
- → Jonathan Swift and the Millennium of Madness: The Information Age in Swift's 'A Tale of a Tub'(1994)