How could a type system not just infer what the type is…

Reply to this note

Please Login to reply.

Discussion

Because you still need to name the type sometimes.