Slava Pestov's corner of the web

My primary professional interest is some combination of programming language design and math.

I don't use social media these days, but feel free to send me an e-mail!

• E-mail: sviatoslav.pestov@gmail.com

Current work

Apple (2015–)

My GitHub profile:

• github.com/slavapestov

• Compiling Swift generics (2022)

• Library evolution in Swift (2020)

• Implementing Swift generics (2017)
• What's new in Swift 4.2 (WWDC 2018)
• Design protocol interfaces in Swift (WWDC 2022)
• Protocols and associated types in Swift (2023, slides only)

• SE-0193: Cross-module inlining and specialization (2017)
• SE-0346: Lightweight same-type requirements for primary associated types (2022)
• SE-0393: Value and type parameter packs (2023)
• SE-0398: Allow generic types to abstract over packs (2023)
• SE-0427: Noncopyable generics (2024)

Previous work

Google (2010–2014)

Factor (2003–2010)

A conference paper:

• Factor: a dynamic stack based language (2010)

• Factor: an extensible interactive language (2008)

jEdit (1998–2003)