Open goretkin opened 3 years ago
I am being loose, since the terms "nominative" and "structural" apply to type systems, but Rational{Int} seems like a nominal type and Fix{typeof(/),Tuple{Some{Int},Some{Int}}} feels like a more structural name.
Rational{Int}
Fix{typeof(/),Tuple{Some{Int},Some{Int}}}
I am being loose, since the terms "nominative" and "structural" apply to type systems, but
Rational{Int}seems like a nominal type andFix{typeof(/),Tuple{Some{Int},Some{Int}}}feels like a more structural name.