Hazel[0] is really fascinating! "Hazel is a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs, i.

Hazel[0] is really fascinating! "Hazel is a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs, i.e. programs with holes. There are no meaningless editor states." It's a programming language and IDE that's fully integrated with the semantics of the language. I saw the demo at Strange Loop in 2019[1], and it was really cool to see the interactive, dialogue-esque development workflow that I love from super dynamic lisps - but working with a strong, statically, dependently typed language. It reminded me of Idris, but even more integrated. [0]https://hazel.org/ https://hazel.org/ [1]https://www.thestrangeloop.com/2018/hazel-a-live-functional-programming-environment-with-typed-holes.html https://www.thestrangeloop.com/2018/hazel-a-live-functional-...