Hazel: A live functional programming environment with typed holes(github.com)
73 pointsby azhenley7 months ago9 comments
  • dang7 months 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)

  • bitbasher7 months ago
    Hazel is also the name of Cherno's game engine.[1]

    1: https://hazelengine.com/

  • Awtem7 months ago
    i love it. That being said, please show some examples and screenshots on the homepage and github's Readme.
  • burnt-resistor7 months ago
    Missed opportunity to call it "Donut". ;o)
  • dub_gui7 months ago
    The live demo is super cool! https://hazel.org/build/dev/
    • pjmlp7 months ago
      Yes, especially the interactivity that it offers, while clicking around the code.
  • andsoitis7 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

  • Asraelite7 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?
    • 7h3kk1d7 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.
  • eterps7 months ago
    It would be incredibly interesting to see how LLM code generation would hook into this.
    • gregtc7 months ago
      This is a paper about Chat LLMs in Hazel: https://arxiv.org/abs/2409.00921
      • disconcision7 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
  • PontingClarke7 months ago
    [dead]