I am probably older than you. You literally asked to be discouraged from pursuing this will-o'-th'-lisp. I offered an alternative where you stand to learn somet

I am probably older than you. You literally asked to be discouraged from pursuing this will-o'-th'-lisp. I offered an alternative where you stand to learn something wholly new. I know it is wholly new to you from falsehoods you repeat. Again: if you imagine types are only or even mainly for correctness, you have much to learn. You can start anytime you like. It will stretch your brain in new ways that are of no relevance to medical software.