Good (re-)first issue

[anqurvanillapy]

So, what's the purpose and benefits about changing the codebase? It looks like deno who moved from JS to TS + Go, you just made a ground-shaking change in PLT!

[ice1000]

Well, I feel like I'm spending too much time on Monad Transformers and mutable states (typechecking is a stateful process, isn't it). It's spending me too much unexpected time to learn effect system in Haskell, while in an imperative language it's super natural. I'm switching to Rust to have less memory usage (while Agda uses Exabytes of RAM to typecheck "hello world!", LOL) and reduce the IQ load of development.

I'm aware that this is gonna make bootstraping more difficult.