🤫husshhussh
🤫husshhusshOnePuppy
🤫 celebrates

Robert Widmann

Swift compiler contributor; functional-programming tool maker

EngineeringSwift
The work

What we are celebrating, specifically.

  • Contributions to the Swift compiler and to LLVMSwift, a Swift wrapper around the LLVM APIs.
  • SwiftCheck: property-based testing for Swift, part of the typelift family of libraries.
  • Silt: an in-progress dependently typed language, written in Swift, exploring how far the type system can go.

Independent / open source

Compiler & language engineer · current

Swift compiler contributor; builds language tooling and functional-programming libraries

Why

Why we celebrate them.

For pushing Swift toward the frontier of language design and giving the community sharp, principled tools for testing and compilation along the way.

Sources — their own pages, so you can check us

  • GitHub · @CodaFi
  • SwiftCheck
This page is yours

Robert Widmann, this belongs to you.

We built this from your public work because we think it deserves celebrating. You did not ask us to, so the only fair thing is that you decide what happens to it. Claim it and it is yours to edit. Ask us to change something and we will. Ask us to take it down and it is gone within 72 hours — free, no account needed, and nobody will try to talk you out of it.

Claim or remove this pageEveryone we celebrate