flâneur — a map of the web's best reading

Hazel, a live functional programming environment featuring typed holes.

hazel.org · 1,499 words · saved by 5 readers

Hazel is a live functional programming environment featuring typed holes.

Hazel, a live functional programming environment featuring typed holes. Hazel is a live functional programming environment organized around typed holes . Quick Summary 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. Motivation When programming, we spend a substantial amount of our time working with program text that is not yet a formally complete program, e.g. because there are blank spots, type errors or merge conflicts at various locations. Conventiona

Explore this link on the map →

saved by

related reading