Nicolas Rinaudo
@nicolasrinaudo
Here's my attempt at a simple type checker in Scala, which I struggled mightily to produce (couldn't have done it without Xavier Van de Woestyne and Valentin): scastie.scala-lang.org/nrinaudo/CT027… Would love feedback from Scala people who actually know how to work with types,!