3 ms·type inference Guy Steele's ‘Fortress’ language is headed in that direction.by slackenerny 17y agotype inference Guy Steele's ‘Fortress’ language is headed in that direction.