2 comments

[ 4.0 ms ] story [ 18.8 ms ] thread
Hmm, the is `type` the static type or the dynamic type, for languages where both apply?
It’s a very confusing question. How can an evaluated expression’s result have multiple types?