Hazel: A live functional programming environment with typed holes (github.com)

73 points by azhenley 12mo ago ↗ HN

11 comments

[ 2.6 ms ] story [ 27.1 ms ] thread

Awtem 12mo ago ↗

i love it. That being said, please show some examples and screenshots on the homepage and github's Readme.

bitbasher 12mo ago ↗

Hazel is also the name of Cherno's game engine.[1]

1: https://hazelengine.com/

eterps 12mo ago ↗

It would be incredibly interesting to see how LLM code generation would hook into this.

dub_gui 12mo ago ↗

The live demo is super cool! https://hazel.org/build/dev/

pjmlp 12mo ago ↗

Yes, especially the interactivity that it offers, while clicking around the code.

dang 12mo ago ↗

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)

burnt-resistor 12mo ago ↗

Missed opportunity to call it "Donut". ;o)

andsoitis 12mo ago ↗

> typed-hole-driven development.

every hole has a type

drive the type, drive the hole

the bigger the hole, the bigger the type

Asraelite 12mo ago ↗

I only skimmed the paper, but how do holes in the type system differ from e.g. `!` in Rust or `never` in TypeScript?

7h3kk1d 12mo ago ↗

Never in TypeScript is the equivalent of "bottom" where a value can never appear. The type holes in hazel are for incomplete types (during development) and work more like the any type in typescript where they are consistent with every value.

[dead] PontingClarke 12mo ago ↗

[dead]