@tosh true this is so interesting article it also mention all type of system that became popular. but the most interesting are mandatory types by using annotate

@tosh true this is so interesting article it also mention all type of system that became popular. but the most interesting are mandatory types by using annotate signatures.