I've seen the video, it sums up my thought pretty well. I knew all of it already though. But now I'm really confused, I thought we were disagreeing? I'm exactl

I've seen the video, it sums up my thought pretty well. I knew all of it already though. But now I'm really confused, I thought we were disagreeing? I'm exactly saying that I believe the ability to quickly run and test your program is most important, more so then to prove properties from its code description. And that's specifically the strengths of Lisp dialects like Clojure. Are you saying something different?