undefined | Better HN

0 pointsithkuil6y ago0 comments

interesting

> func Print2(s1 []'T1, s2 []'T2) { ... }

where would you add the claim that T1 and T2 must obey some named "contract"?

0 comments

3 comments · 1 top-level

NateDad6y ago· 2 in thread

They'd both be T1 in that case. T1 T2 means they're different contracts.

coldtea6y ago

I don't think parent implied that they should obey the same construct.

He asked where you'd denote the contracts each type much obey (e.g. the focus being: in which place, assuming, I guess, that you intent to stray from the current proposal of defining that).

NateDad6y ago

Oh, oops, yeah, I misread "some" as "same". Denoting what contract they obey is just the name, isn't it? T1 and T2 are names of contracts.

I guess what you can't do by just using the contract name is say that two arguments must be of the same type. Nevermind.

1 more reply

j / k navigate · click thread line to collapse