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
saved by
related reading
- Strudel REPLstrudel.cc
- how I think when I think about programming - alice mazalicemaz.com
- Learnable Programmingworrydream.com
- Leaving Haskell behind - Infinite Negative Utilityjournal.infinitenegativeutility.com
- Writing an OS in Haskellagniv.me
- CIS 194seas.upenn.edu
- Lean Programming Languagelean-lang.org
- Herdr — one terminal for the whole herdherdr.dev
- Hazelcast Jet: Low-latency Stream Processing at the 99.99th Percentilearxiv.org
- Our Problems · Proximalproximal.ai
- Chris Allen - Functional Educationbitemyapp.com
- A Couple Million Lines of Haskell: Production Engineering at Mercury | The Haskell Programming Language's blogblog.haskell.org