In a language with names for everything (types, pr...
# announcements
o
In a language with names for everything (types, properties), it’s not as needed as in FP languages, where everything is a tuple of inferred type