> He clearly hasn't proven anything about his code. Is that a bad thing? It seems like many people are able to write software that works well and gets the job done without "proving anything" about their code in the way…
As an Emacs user, from my experience the Clojure REPL has much better integration with my editor than any non-LISP I've used, which includes Haskell and Erlang. Most of the time I'm not typing commands into the REPL -…
> He clearly hasn't proven anything about his code. Is that a bad thing? It seems like many people are able to write software that works well and gets the job done without "proving anything" about their code in the way…
As an Emacs user, from my experience the Clojure REPL has much better integration with my editor than any non-LISP I've used, which includes Haskell and Erlang. Most of the time I'm not typing commands into the REPL -…