dub_gui

11 ms·

1. 1.▲
   by dub_gui 1y ago

   The live demo is super cool! https://hazel.org/build/dev/
2. 2.▲
   by dub_gui 2y ago

   This looks similar to what you describe: https://exercism.org/tracks/elixir/exercises
3. 3.▲
   by dub_gui 2y ago

   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 introducing annotations, if
4. 4.▲
   by dub_gui 2y ago

   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 'gradual'. Interest