Portree High School Portree High School Portree High School (Gaelic: ) is a state co-educational comprehensive school in Portree, Skye in Scotland. , the school enrols 520 pupils and employs 55 teachers. The school's catchment area draws from 15 primary schools across Skye and neighbouring Raasay. The school also has boarding provisions for a small number of pupils who live in more remote areas of the island. A school has existed at Portree since the 17th century. However it closed in 1825 due to the difficulty in finding a new qualified schoolmaster. Construction on the Portree High School buildings began in 1872. In
Principal type among several options. The principal type property should not be confused with the principal typing property which requires that, given a term, there exist a typing (i.e. a pair with a context and a type) which is an instance of all possible typings of the term. Principal type In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this term in this environment, i.e. a type such that all other types for this term in this environment are an instance of the principal