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?
It makes it easier to reason about a program. For an dev, you can immediately understand what global state, if any, can affect a function’s behaviour. And for the compiler, knowing about what effects an operation has can enable optimizations like dead code removal and autovectorization; the article goes into that.
the key is that not all worlds enable the same kinds of libraries.
reply