Tag: strongly typed languages