Language Features

There's a Mathematician In Your Compiler

Illustrated by Skye Bolluyt

Did you know that you can prove a theorem with Scala? Starting from the Curry-Howard isomorphism, we can turn logical statements into pure Scala code with only a rudimentary knowledge of Scala. Follow along with the exercise for insights into the patterns the compiler forces you into and how Scala works.

To continue reading


  • Access to original high quality content
  • Priority support and feedback
  • A thank you for supporting our small independant publication

Already purchased issue? Login