✳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
- Tristan's Site - Tristan Humethume.ca
- Zed — Your last next editorzed.dev
- Learnable Programmingworrydream.com
- GitHub - system-f/fp-course: Functional Programming Course · GitHubgithub.com
- CIS 194seas.upenn.edu
- how I think when I think about programming - alice mazalicemaz.com
- Learnable Programmingworrydream.com
- Leaving Haskell behind - Infinite Negative Utilityjournal.infinitenegativeutility.com
- Cursor: AI coding agentcursor.sh
- Effective harnesses for long-running agents \ Anthropicanthropic.com
- A Couple Million Lines of Haskell: Production Engineering at Mercury | The Haskell Programming Language's blogblog.haskell.org
- 98-317: Hype for Typeshypefortypes.github.io