|
|
|
|
|
|
by Dn_Ab
5557 days ago
|
|
|
It's common in statically typed functional languages and an old notation. I believe a key motivation is the analogy between a Set and a Type. Then saying x : Int is like similar to saying x ∈ Z, x is an element of the integers. |
|
|