Scaloid VS simple-sub

About Google - I am not talking about anybody contributing to Google. Do we as a community not need to reflect when Google preferred a newer language like Kotlin when we were already had an active Android ecosystem with projects like https://github.com/pocorall/scaloid and many others.

As a typical example, consider this type inference engine I designed a while ago. It's extremely efficient, because it represents type variable bounds using a mutable var field of List type. That's the only bit of mutability in the entire engine, making it okay to reason about, though the mutability does potentially infect everything, so you still have to be more careful. But I think if you'd listen to most people on this subreddit, they'd probably want you to put everything in a monad (making it several order of magnitudes slower), because mutability is too "dirty". The funny thing is that monads would honestly not make the algorithm easier to understand at all. It'd just be a lot more for comprehensions everywhere, but fundamentally the same algorithm...