Follow

Close to state of the art in actual programmer assist.

This is haskellwingman.dev/ in emacs.

One of its suggestions is the right answer to my question.

It can write whole functions too, if the types fully specify the implementation.

· · Web · 1 · 3 · 7

@joeyh woah that's exciting!

glad to see this sort of thing making its way into "mainstream" languages from the weird dependently-typed ones.

Sign in to participate in the conversation
Octodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!