Viewing profile — Gabriel439

Author here: those type annotations are optional in the case of TypeScript and PureScript; I only included the type annotations for clarity That said, I didn't know about Go's supp…

Author here: not only have I heard of LLMs but I built a domain-specific programming language for prompt engineering: https://github.com/Gabriella439/grace

Author here: it's not even clear that agents can reliably permute their training data (I'm not saying that it's impossible or never happens but that it's not something we can take …

The tool now supports local models. In particular, you can pass an alternative base URL for both embeddings and completions so if you can serve a local model over an OpenAI-compati…

Author here: yeah, this is a good point and something I think about even outside the context of agentic coding. I've also tinkered with this idea myself in the context of prompt en…

Author here: the source code is linked in the post but it can be easy to miss: https://github.com/Gabriella439/facet-navigator It's very rough, but I plan on cleaning it up soon (t…

Author here: my pronouns are she/her I did not use AI to generate my blog's content nor layout. Also, the reason my blog is named "Haskell for all" is because I originally created …

you're welcome!

The post mentions this in the footnotes

Oh whoops, I misread. Never mind me, then

Author here: we didn't lay them off. They left of their own accord.

Author here. It is true that one of my goals in writing that post was to discourage people from jumping on the NeoHaskell train, but a larger goal was to educate people on what Neo…

You're welcome!

That's actually correct versioning in Haskell. The Haskell ecosystem uses a different versioning convention from other ecosystems where the first two components of the version numb…

All of the above to some degree. I can name some specific examples of each of these occurring: * For an example of "Drop B", at one point the haskell-lsp package was deprecated in …

The order in which you combine overlays can sometimes matter. In other words, overlays are monoids, but not commutative monoids. That said, most of the time overlay order does not …

The point of the post wasn't to explain that Church encoding is a replacement for the visitor pattern. The purpose of the post was to explain that the visitor pattern is essentiall…

Thank you for the feedback. I was conscientious of that shadowing issue when writing it, but I just wasn't sure what to change on either side to differentiate them.

You're right that there is no benefit in creating another abstraction, but the point of the post is sometimes the language doesn't have support for the original abstraction (e.g. s…

Author here: it's not changing the problem definition. I can confirm that the original motivation for writing the post was to show the theoretical underpinnings of the visitor patt…

Author here: Go does not have support for discriminated unions. The trick is not limited to functional programming languages but it is limited to languages that support generic pro…

Overall language popularity is only one input into how we prioritize programming languages. The best way I can summarize our prioritization process is that we prioritize in descend…

Not native JavaScript, but the closest thing we have is PureScript (still in progress): https://github.com/MonoidMusician/dhall-purescript PureScript corresponds pretty closely to …