I came close to adopting Scala, many parallels to Ruby with vastly better performance.

I'm Ruby or Lean 4.