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
- Zed — Your last next editorzed.dev
- Learnable Programmingworrydream.com
- GitHub - system-f/fp-course: Functional Programming Course · GitHubgithub.com
- CIS 194seas.upenn.edu
- Strudel REPLstrudel.cc
- Agentationagentation.dev
- Agentationagentation.com
- Geoffrey Littgeoffreylitt.com
- Home ⚡ Zig Programming Languageziglang.org
- Learnable Programmingworrydream.com
- Cursor: AI coding agentcursor.sh
- Leaving Haskell behind - Infinite Negative Utilityjournal.infinitenegativeutility.com