&gt; This is subjective, but having tried Elm with its Haskellish type system, it seems that the type system makes me think hard about things that ultimately don&#x27;t matter much. It might depend on your problem, but I doubt it. Even doing numerical computation with Theano I find myself better off just executing subexpressions and seeing results and the shape of the tensors interactively is more useful than thinking really hard how the operations transform the shape.<p>If it is true that the type system, perhaps static type systems in general, make you think hard about things that ultimately don&#x27;t matter much... why not go for the most dynamic and interactive language possible? Clojure perhaps.<p>I&#x27;ve been toying with the idea that either fully dynamic and as interactive as possible or full dependent typing is the generally right answer.<p>By right, I mean what you should reach for with most programming tasks if you aren&#x27;t going to put effort into selecting one tailored to your task.