Hacker News new | ask | show | jobs
by agumonkey 1536 days ago
I wish we had a smarter feedback loop between trying an idea (aka typing stuff) and reacting to results. Right now tdd or type inference doesn't really produce backward infered hints. Types do help exhaustive matching but you may be able to reverse trials output back to function types and conditionals.

Your editor would become a convergence game.
2 comments
dgb23 1536 days ago
A REPL?
link
ilaksh 1536 days ago
Like SmallTalk?
link
agumonkey 1536 days ago
Smalltalk is live object but, afaik[0], the base interaction is still work for edit, work for test, work for resolution. I thought about making them one concept.. something like gradually pruning input spaces. test and code being somehow isomorphic (each failing test is implicitely mirrored in the working code).

[0] I only did a pharo MOOC and read some bits about smalltalk but considering the crowd, it's possible someone has an image with similar if not better ideas.

link