4 ms·
Ask HN: Why don't we dispense with code in favor of types?
With type systems becoming ever more powerful and in some cases approaching Turing-completeness, the distinction between code and types seems increasingly artificial.
How feasible would a purely type-only language be? any thoughts are welcome
- nradov 5y agoI suppose a type-only language might be technically feasible as a research project but it wouldn't have much practical use. How would it handle events, signals, or interrupts?
- prmph 5y agoFor now, it could be implemented as a purely functional language, without any facility for side effects. Other traditional, imperative languages could then use libraries written in it.