#static typing #type safety #type system #hindley-milner #functional programming