|
|
|
|
|
|
by Tainnor
1244 days ago
|
|
|
That's not what GP wrote - they wrote that there is a difference between "the set of all instances of type A" and "the set of all properties satisfied by all instances of type A". There's nothing recursive about that. And this is all completely independent of the question of whether a language is structurally or nominally typed. |
|
|