Does this only work with "mainstream" languages?

Swift, perhaps. Chez Scheme? Haskell? Lean 4?