Im building a virtual machine with native ai integration for semantic execution. Its built on top of rust, and you could compile everything you want to it, but it has its own programming language too.
As I understand, Flix implements a system to type not only a return type but an Effect too. If that's the case, It's not an overkill solution? and why?