Tag: statically typed languages