Zulip Chat Archive

Stream: new members

Topic: What is the difference between braced and parenthesized item


Ben (Oct 25 2022 at 19:36):

I have seen two different syntaxes between declaring parameters def {A: Type} ... and def (B: Type) ... . My current understand is that in the former the A parameter is inferred (isn't specified). The later means that B can be inferred with _ or have an specified type argument. Is there any other details or documentation for this? Is there a way to specify A in the former case?


Last updated: Dec 20 2023 at 11:08 UTC