To further clarify my question, does the type check only happen at “runtime” (when you execute something) or can it happen separately from it? Is there an option to force check the types aside from just running the code?
I’ve found this project https://github.com/astrieanna/TypeCheck.jl that does something similar in Julia but it’s abandoned.
What’ I’m thinking is something akin to http://mypy-lang.org/, where you can check if the types are correct before you execute a code.
Although I know Julia will give an error when you run code where the types don’t match, this way of manual checking can be really useful for debugging purposes, and is something used daily by members of my team.
I mention this because I’m slowly convincing people at work that Julia is worth a try, and this came up as major question from one of the technical leaders.