Tag: statically typed programming