Concept
- Typed parameters use name:Type and return types use -> Type.
Example
make add a:Int b:Int -> Int
give a + b
make identity[T] value:T -> T
give valueLESSON 9
Types & generic functions
Type annotations are optional where inference is sufficient, and generic functions can declare type parameters.