Toot

Written by Nicolas Rinaudo on 2025-01-22 at 21:23

I find it really cool how the compiler manages to work out all these type equalities: https://scastie.scala-lang.org/nrinaudo/KDOCMT3ETrKcQGq14hZCJw

I initially wrote this by hand and it was painful. But no, with Eq, just throw all the things in a pattern match and let the compiler sort them out.

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

Mentions

Tags