Nice response. I appreciate it. I could see the case where an entire program/project would want to be statically type checked, but when you are running a repl o

Nice response. I appreciate it. I could see the case where an entire program/project would want to be statically type checked, but when you are running a repl or something quick you don’t want to have to specify types. At the repl you want speed and flexibility, on a project level you might want type checking. I don’t know if this already exists, but it seems somewhat useful. I guess the solution is, as you said, to have a third party analyze your code for types