After a decade of programming, I had this experience for the first when using OCaml + Emacs + Merlin. Using OCaml (or a similarly typed language) gets you a large part of the way, but having fast feedback via IDE integration makes it feel like an actual conversation.
-
-
-
for what it's worth, I want to do a big part of what Edwin articulated so nicely, except with static analysis as the backend (perhaps alongside a type system)?
- 1 more reply
New conversation -
-
-
Also, it would be great if we had compilers who could reason about computers & compilers, in addition to the programs they sort-of run.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
wow, this is really, really sweet.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Can't wait!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.