The live demo is super cool! https://hazel.org/build/dev/
This looks similar to what you describe: https://exercism.org/tracks/elixir/exercises
To clarify, the type-checker does not modify compilation to the beam at all. Instead, it takes into account the predicted runtime checks to inject more static types into its analysis. For instance, without even…
You’re right about what a gradual type system means! A gradual type system allows flexibility in how you approach typing a codebase. It also means that your system incorporates a dynamic type, making your types…
The live demo is super cool! https://hazel.org/build/dev/
This looks similar to what you describe: https://exercism.org/tracks/elixir/exercises
To clarify, the type-checker does not modify compilation to the beam at all. Instead, it takes into account the predicted runtime checks to inject more static types into its analysis. For instance, without even…
You’re right about what a gradual type system means! A gradual type system allows flexibility in how you approach typing a codebase. It also means that your system incorporates a dynamic type, making your types…