4 ms·

Hazel: A live functional programming environment with typed holes

73 points by azhenley 1y ago

Awtem 1y ago
i love it. That being said, please show some examples and screenshots on the homepage and github's Readme.
- disconcision 1y ago
  unfortunately the best source for examples and screenshots at the moment might be a search of my twitter feed: https://x.com/search?q=from%3Adisconcision%20hazel https://x.com/search?q=from%3Adisconcision%20hazel ... we need to update the website
  - malcolmgreaves 1y ago
    Unfortunately no one can see these unless they log in to Twitter :(
    - disconcision 1y ago
      this might work https://nitter.space/disconcision/search?q=from%3Adisconcision%20hazel https://nitter.space/disconcision/search?q=from%3Adisconcisi...
  - toomim 1y ago
    Ok, but those are excellent screenshots-- better than most projects' official screenshot lists!
bitbasher 1y ago
Hazel is also the name of Cherno's game engine.[1] 1: https://hazelengine.com/ https://hazelengine.com/
eterps 1y ago
It would be incredibly interesting to see how LLM code generation would hook into this.
- gregtc 1y ago
  This is a paper about Chat LLMs in Hazel: https://arxiv.org/abs/2409.00921 https://arxiv.org/abs/2409.00921
  - disconcision 1y ago
    llm hole filling ala the paper is actually live in the dev version right now (if you enter an openrouter API key in the second sidebar tab). it's slow and buggy at the moment though, it's only been running at all for the last few days
dub_gui 1y ago
The live demo is super cool! https://hazel.org/build/dev/ https://hazel.org/build/dev/
- pjmlp 1y ago
  Yes, especially the interactivity that it offers, while clicking around the code.
dang 1y ago
Related. Others? Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=42004133 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 https://news.ycombinator.com/item?id=24299852 - Aug 2020 (14 comments)
burnt-resistor 1y ago
Missed opportunity to call it "Donut". ;o)
andsoitis 1y 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 1y 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 1y 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.
PontingClarke 1y ago
[dead]

73 points by azhenley 1y ago

Awtem 1y ago

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

disconcision 1y ago
unfortunately the best source for examples and screenshots at the moment might be a search of my twitter feed: https://x.com/search?q=from%3Adisconcision%20hazel https://x.com/search?q=from%3Adisconcision%20hazel ... we need to update the website
- malcolmgreaves 1y ago
  Unfortunately no one can see these unless they log in to Twitter :(
  - disconcision 1y ago
    this might work https://nitter.space/disconcision/search?q=from%3Adisconcision%20hazel https://nitter.space/disconcision/search?q=from%3Adisconcisi...
- toomim 1y ago
  Ok, but those are excellent screenshots-- better than most projects' official screenshot lists!

bitbasher 1y ago

Hazel is also the name of Cherno's game engine.[1] 1: https://hazelengine.com/ https://hazelengine.com/

eterps 1y ago

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

gregtc 1y ago
This is a paper about Chat LLMs in Hazel: https://arxiv.org/abs/2409.00921 https://arxiv.org/abs/2409.00921
- disconcision 1y ago
  llm hole filling ala the paper is actually live in the dev version right now (if you enter an openrouter API key in the second sidebar tab). it's slow and buggy at the moment though, it's only been running at all for the last few days

dub_gui 1y ago

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

pjmlp 1y ago
Yes, especially the interactivity that it offers, while clicking around the code.

dang 1y ago

Related. Others? Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=42004133 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 https://news.ycombinator.com/item?id=24299852 - Aug 2020 (14 comments)

burnt-resistor 1y ago

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

andsoitis 1y 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 1y 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 1y 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.

PontingClarke 1y ago

[dead]