Get the latest tech news
Hazel: A live functional programming environment featuring typed holes
Hazel is a live functional programming environment featuring typed holes.
Moreover, program editors and other tools have no choice but to resort to complex and ad hoc heuristics to provide various useful language services (like code completion, type inspection, and code navigation) without gaps in service. We are developing a more principled approach to working with incomplete programs, rooted in (contextual modal and gradual) type theory. If you have questions or are interested in contributing to Hazel, get in touch with the team lead, Cyrus Omar.
Or read this on Hacker News