The ability for the compiler to check the implementation of a function by checking against its Function Signature. Functions are checked from top to bottom.
zeroToOne 0 = 1
zeroToOne x = xThrowaway Pattern
(_,x,y) = (1,2,3)The ability for the compiler to check the implementation of a function by checking against its Function Signature. Functions are checked from top to bottom.
zeroToOne 0 = 1
zeroToOne x = x(_,x,y) = (1,2,3)