4 ms·
Does your idea of a good developer experience include programs that are reliable, won't crash in production, won't be compromised, and save you lots of time lat
by jb1991 3y ago
Does your idea of a good developer experience include programs that are reliable, won't crash in production, won't be compromised, and save you lots of time later on so you can just focus on writing code the first time? In the absence of these guarantees, your developer experience can include some very frustrating and/or stressful debugging.
- ori_b 3y agoYes. Does yours not? Tools like Agda, Spark, Idris, and Coq move the tradeoff around towards "probably correct", and I welcome seeing some of their features become gradually available. Getting things right the first time is useful. But these features can also make it hard to get anything done quickly. Good developer experience means finding a balance between the quick and dirty, and the provably correct.