3 ms·
I would love an interactive shell that applies a type-checker to my input before running it ... is that really an infeasible desire in 2018 ...?
by breatheoften 9y ago
I would love an interactive shell that applies a type-checker to my input before running it ... is that really an infeasible desire in 2018 ...?