Portree Portree Portree (; , ) is the largest town on Skye in the Inner Hebrides of Scotland. It is the location for the only secondary school on the island, Portree High School. Public transport services are limited to buses. Portree has a harbour, fringed by cliffs, with a pier designed by Thomas Telford. Attractions in the town include the Aros centre which celebrates the island's Gaelic heritage. Further arts provision is made through arts organisation ATLAS Arts, a Creative Scotland regularly-funded organisation. The town also serves as a centre for tourists exploring the island. The Royal Hotel is the site
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