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
I 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?