2 comments

[ 3.4 ms ] story [ 12.5 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?