Ah yes Idris rings a bell. I’ll try that one again. Scala 3 indeed is more mainstream but it seems also on the way out. At least here in corporate world it is

Ah yes Idris rings a bell. I’ll try that one again. Scala 3 indeed is more mainstream but it seems also on the way out. At least here in corporate world it is replaced by Kotlin and Java 21+ for a large part.