This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 1992 of 2,872·45. Type Systems and SemanticsPro lesson
Function Types
Representing functions as types with domain (parameter types) and codomain (return type), written as A → B.