Hazel: A live functional programming environment with typed holes

73 pointsposted 7 months ago
by azhenley
(github.com)

17 Comments

Awtem

7 months ago

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

disconcision

7 months 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 ... we need to update the website

toomim

7 months ago

Ok, but those are excellent screenshots-- better than most projects' official screenshot lists!

andsoitis

7 months 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

7 months 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

7 months 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.

eterps

7 months ago

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

gregtc

7 months ago

This is a paper about Chat LLMs in Hazel: https://arxiv.org/abs/2409.00921

disconcision

7 months 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