Toot

Written by Nicolas Rinaudo on 2025-01-08 at 16:52

This was so much fun (and struggle) to write: a type-checked proof that tuple XS contains element X

https://scastie.scala-lang.org/I56upRxyRtyZGeEOVP64dg

And yes, I wish I could use the enum syntax, but that makes writing get really, really unpleasant...

=> More informations about this toot | View the thread | More toots from NicolasRinaudo@functional.cafe

Mentions

Tags