Raito Bezarius on Nostr: nprofile1q…h7ucx ehhhh return types is hard in this situation f : (a: int): (b: ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq7xkgpdpy5aperha7elprzgej0vpzhc0ma80fn96re3zqjpv286rqkh7ucx (nprofile…7ucx) ehhhh return types is hard in this situation
f : (a: int): (b: int): ((...): int) ?
final expression can be annotated with the same way
(inference can kick in whenever it can kick in)
f : (a: int): (b: int): ((...): int) ?
final expression can be annotated with the same way
(inference can kick in whenever it can kick in)