8 ms·
I really like the list. In my own experience, "14. A good type system is worth its weight plus some." really depends. If you are trying to make a mobile app,
by dontreact 6y ago
I really like the list.
In my own experience, "14. A good type system is worth its weight plus some." really depends.
If you are trying to make a mobile app, I agree. If you are trying to make a deep learning framework for researchers, I think the evidence is pretty clear at this point that type systems have more cost than benefit. Pytorch, Tensorflow, Jax, Keras, etc. are all far more popular than their strongly typed alternatives and I would be willing to bet this remains the case for many many years.
- taneq 6y agoWasn’t one of the things “try not to assign universality to domain-specific observations “? I mean, it should have been. >.>
- uS436aRs6BbC30c 6y agoI’m no mathematician, but I reckon that the library is the type system for those who write numerically heavy code. In this sense the core is type-safe by definition, and the periphery isn’t hurt by lacking strong types for amounts to I/O and other infrastructure.