Dependency on JVM

[michallepicki]

If I understand correctly, currently the type-checker requires the developer to have JVM installed (code). Many projects using Erlang/OTP don't use any JVM-related technologies, so Erlang developers may need to install JVM specifically to use eqWAlizer.

Is there a plan to get rid of this dependency (long-term)? I understand the current focus is getting the typechecker feature-complete.

As possible options I see

• "rewrite it in Rust" - migrate the Scala code to Rust
• compile Scala code with GraalVM Native Image and statically link it with the Rust executable

[sopotc]

If I understand correctly, currently the type-checker requires the developer to have JVM installed

It does not. If you follow the instructions on how to run it you will see that it does not require a JVM (indeed it makes use of native imaging).

[ilya-klyuchnikov]

See the release.yml job. It's already built with GraalVM native image. Closing the issue.