Haskell Wingman is a fun project that provides hole-based refinement to any editor that speaks LSP!
It's a great example of how to describe complex features in terms of user benefit too.
https://haskellwingman.dev/
miniblog.
Related Posts
LLMs have a really unfortunate habit of leaving comments that exactly describe the bug they just fixed. I keep getting code like this:
// Let Alice and Bob log in.
if user_tags is None:
Today I read the term "negative bus factor" to describe the situation where multiple libraries have the same single maintainer.
Perhaps people measure bus factor logarithmically?
Too many new languages describe themselves as "clear syntax" or "strong types". These features aren't very interesting, and are often subjective.
It's better to say what's unique, e.g. "a PL for IoT on boomerangs" would certainly be interesting!