It would be nice to allow accessing to a function representing a method without η-expanding it. We agreed on the following syntax (in the grammar of identifiers).
(.m) for a method m assigned to a type that should be inferred by a type-checker.(.m of T) for a method m assigned to a type T.
It would be nice to allow accessing to a function representing a method without η-expanding it. We agreed on the following syntax (in the grammar of identifiers).
(.m)for a methodmassigned to a type that should be inferred by a type-checker.(.m of T)for a methodmassigned to a typeT.