3 ms·
A entire class of bugs, wiped out by a thing called a "compiler". Gigahours of downtime and bug fixing globally prevented by a modest extra step up front. Gre
by fnord77 1y ago
A entire class of bugs, wiped out by a thing called a "compiler". Gigahours of downtime and bug fixing globally prevented by a modest extra step up front. Great stuff.
- scuff3d 1y agoI had someone say to me they preferred strict type checking in a Python linter over a statically typed language because they "don't like a build step"... Dudes it's literally just worse compilation with extra steps.
- __MatrixMan__ 1y agoI'm in favor of partitioning the set of reasons it can fail to compile into separate checks with separate tools. Taming the zoo of tooling is extra work, but smaller more focused tools are easier to work with once you understand their relationship to their neighbors. There's a world of difference between: > I've been using a different type checker and I like it, you should try it And > I'd like to switch our project to a different compiler The former makes for more nimble ecosystem.
- scuff3d 1y agoYes, if you are stuck with Python something is certainly better than nothing. But we shouldn't be writing large production apps in it in the first place.
- __MatrixMan__ 1y agoShould we be writing large apps at all?
- scuff3d 1y agoI don't know how to respond to this. Yes, large software projects do in fact exist...
- deleted 1y ago[deleted]