Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

<@UC25EFSJC> listening to the podcast, I happen to be reading through "Live Functional Programming with Typed Holes" at the same time.  So glad to see progress on the "gap" problem.  Delightful.  Been mulling over it every now and then since my own CMU days.

If the gap problem interests you, I recommend checking out Lamdu, which Cyrus forgot to mention as prior art.

glad you enjoyed :-) if you'd like to discuss the paper or participate in the project, let me know :-)

Lamdu is another cool take on the problem. our focus was on doing the type theory, and we're working on exploring a somewhat different part of the UI design space

I also don't think systems that stop at the first hole completely solve the gap problem wrt run time feedback

<@UC25EFSJC> I'm sure I'll be following up — though at the slowest of snail's pace.  So far I can only say that these holes have a curious continuationy flavor to them, which I like but cannot quite place.