Close to state of the art in actual programmer assist.

This is 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

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