> even when it seems so difficult as to be almost infeasible That is quite fun. Lisp had experiments with static types for a long long time. Look at things lik

> even when it seems so difficult as to be almost infeasible That is quite fun. Lisp had experiments with static types for a long long time. Look at things like Qi and there history.