Hazel: A live functional programming environment featuring typed holes
1–10 of 88 posts
Re: Hazel: A live functional programming environment featuring typed holes
#2I like the way the code examples work: A live editor with documentation that shows up on the right hand side (click the Play with Hazel) button.
But does it any more than a live editor and type checker? Can you actually create a program that does something?
Re: Hazel: A live functional programming environment featuring typed holes
#3Elm/ML is an interesting choice of mis-mash & a subtle slap in the face of Haskell? (Which on the surface is far more like Elm than ML is).
Re: Hazel: A live functional programming environment featuring typed holes
#4Elm/ML is an interesting choice of mis-mash & a subtle slap in the face of Haskell? (Which on the surface is far more like Elm than ML is).
I thought the same thing. "Hazel" sounds like a play on words, a "Hazy Haskell"? Or is it because hazels and elms are trees.
Re: Hazel: A live functional programming environment featuring typed holes
#5Related. Others?
Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=24299852 - Aug 2020 (14 comments)
Also:
Tylr: Demo of tile-based editing, a new kind of structure editing - https://news.ycombinator.com/item?id=27926758 - July 2021 (40 comments)
Re: Hazel: A live functional programming environment featuring typed holes
#6Elm/ML is an interesting choice of mis-mash & a subtle slap in the face of Haskell? (Which on the surface is far more like Elm than ML is).
My reading is:
* Elm because Elm focused on making the language pleasant to use, and Hazel is in the same tradition of combining HCI + PL
* ML because Hazel is a strict / eager language, and people talk of ML family languages, of which Haskell is one.
So I don't think omitting Haskell is meant to be a slap in the face.
Re: Hazel: A live functional programming environment featuring typed holes
#7Elm/ML is an interesting choice of mis-mash & a subtle slap in the face of Haskell? (Which on the surface is far more like Elm than ML is).
This seems like an attempt to stir up a flame war. Hazel is written in ReasonML and uses OCaml-style syntax, and the Elm influence is in the design of an interactive programming environment based on running the program as you edit it. I think they could have said SLIME/ML and conveyed a similar idea. I strongly doubt the authors have anything against Haskell.
Re: Hazel: A live functional programming environment featuring typed holes
#8Haskell has type holes. There are plugins that give you code actions to complete them, split case, etc. I love type holes.
Agda has them too and they're more powerful there: https://agda.readthedocs.io/en/latest/language/lexical-struc...
Re: Hazel: A live functional programming environment featuring typed holes
#9I always loved hazel, probably a great tool to teach. What has been build with it?
Re: Hazel: A live functional programming environment featuring typed holes
#10This is semi-related to one of the killer features of Eclipse that never really made it into any large-scale systems: the ability to run incomplete or broken code. The Eclipse Compiler for Java had a special feature that it could generate bytecode for nearly any file, including those that were utterly broken. It would mostly work, and you could incrementally work on unit tests alongside the code being developed.
It was honestly one of the most productive environments I ever worked in, and I'm somewhat sad nobody else has implemented this.