3 ms·
> Modern compilers for statically typed languages are really good at inferring types of various identifiers based on multiple hints in a deterministic way. Hel
by whateveracct 8y ago
> Modern compilers for statically typed languages are really good at inferring types of various identifiers based on multiple hints in a deterministic way.
Hell, in Haskell inference can take you pretty far, and you can defer type errors til runtime in development and basically get an opt-in dynamically typed experience!
- truculent 8y ago> you can defer type errors til runtime in development dumb question: is there any reason you'd actually want to do this?
- naasking 8y agoIt's useful for prototyping, where your solution is always in flux and incomplete, but you need to test that some module is working correctly (like a hardware interface).
- whateveracct 8y agoI've never done it, but if you're used to a Python/JS/etc-like dev cycle and the idea of up-front type errors annoys you, Haskell has a perfect solution.