4 ms·
I didn't say anything about types, but we use plumatic/schema as a "type system". It is not ideal (for once, it is checked at runtime instead of build time, so
by m45t3r 6y ago
I didn't say anything about types, but we use plumatic/schema as a "type system". It is not ideal (for once, it is checked at runtime instead of build time, so we only check types during tests and requests, otherwise the impact would be too great). It is not ideal, but it works and keeps our sanity.
- eyelidlessness 6y agoYeah something like that is essential in a dynamic language. To be honest though I don’t think I could go back to runtime-only type checking and having to write those tests where a compiler tests so much automatically.
- dragonwriter 6y ago> where a compiler tests so much automatically Compilers don't necessarily check anything. Static analysis tools (including static type checkers) check things, and some compilers also include static analysis tools. But static analysis tools are often available beyond whatever a compiler provides.
- fiddlerwoaroof 6y agoAnd, some compilers (sbcl) can do fairly sophisticated static analysis on dynamically typed code.
- eyelidlessness 6y agoYes, you’re right. It’s often but not always the case that type checking and compilation are part of the same tool and flow. Thanks for adding that.