I really like the exposition of type in
https://www.youtube.com/watch?v=osdeT-tWjzk
where Jeff explains how dynamic languages has to keep tag for each variable, whereas static languages does not have to. It might be a good introduction to the type system of julia.
I really like the exposition of type in https://www.youtube.com/watch?v=osdeT-tWjzk where Jeff explains how dynamic languages has to keep tag for each variable, whereas static languages does not have to. It might be a good introduction to the type system of julia.