5 ms·
Constraints are what prevent fallacious reasoning. It's better to have a tool/framework tell you you're wrong then not knowing about problems or believing false
by freyrs3 13y ago
Constraints are what prevent fallacious reasoning. It's better to have a tool/framework tell you you're wrong then not knowing about problems or believing falsehoods.
- seanmcdirmid 13y agoAgain, there is tension between flow and feedback. The ability to express and tolerate incomplete and incorrect solutions when trying to solve, and more importantly, understand a problem, is very important. Bondage and discipline languages typically lack that capability, which is why many programmers are still flocking to dynamic languages. For this reason, even Haskell is trying to get into the hybrid typing game (type inference also helps of course, without which Haskell would be unusable). Ideally, we could achieve flow without sacrificing semantic feedback (or vice versa). It is definitely a worthy goal
- tel 13y agoI've been fiddling with a System F language for a bit and find the types not as burdensome as I had originally thought. I couldn't imagine learning to use it from scratch though. I do think the loss of magic inference is a boon though.