| ▲ | Hazel: A live functional programming environment with typed holes(github.com) | ||||||||||||||||
| 56 points by azhenley 14 hours ago | 12 comments | |||||||||||||||||
| ▲ | dang 11 hours ago | parent | next [-] | ||||||||||||||||
Related. Others? Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=42004133 - Oct 2024 (86 comments) Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=24299852 - Aug 2020 (14 comments) | |||||||||||||||||
| ▲ | bitbasher 12 hours ago | parent | prev | next [-] | ||||||||||||||||
Hazel is also the name of Cherno's game engine.[1] | |||||||||||||||||
| ▲ | Awtem 13 hours ago | parent | prev | next [-] | ||||||||||||||||
i love it. That being said, please show some examples and screenshots on the homepage and github's Readme. | |||||||||||||||||
| |||||||||||||||||
| ▲ | burnt-resistor 10 hours ago | parent | prev | next [-] | ||||||||||||||||
Missed opportunity to call it "Donut". ;o) | |||||||||||||||||
| ▲ | dub_gui 11 hours ago | parent | prev | next [-] | ||||||||||||||||
The live demo is super cool! https://hazel.org/build/dev/ | |||||||||||||||||
| ▲ | Asraelite 3 hours ago | parent | prev | next [-] | ||||||||||||||||
I only skimmed the paper, but how do holes in the type system differ from e.g. `!` in Rust or `never` in TypeScript? | |||||||||||||||||
| ▲ | andsoitis 6 hours ago | parent | prev | next [-] | ||||||||||||||||
> typed-hole-driven development. every hole has a type drive the type, drive the hole the bigger the hole, the bigger the type | |||||||||||||||||
| ▲ | eterps 12 hours ago | parent | prev [-] | ||||||||||||||||
It would be incredibly interesting to see how LLM code generation would hook into this. | |||||||||||||||||
| |||||||||||||||||