> As a result the system supports a workflow that is more like a conversation, a back and forth between programmer and system.<p>Interesting to contrast this with my OCaml experience, which is more a REPL-punctuaded series of monologues: writing a longish piece of code in Vim, and then sacrificing goats to appease the compiler, before moving on to finding out the logic bugs.