Portree of MacNab's Inn, the last meeting place of Flora MacDonald and Bonnie Prince Charlie in 1746. The town plays host to the Isle of Skye's shinty club, Skye Camanachd. They play at Pairc nan Laoch above the town on the road to Struan. Around 939 people (37.72% of the population) can speak Scottish Gaelic. The A855 road leads north out of the town, passing through villages such as Achachork, Staffin and passes the rocky landscape of the Storr before reaching the landslip of the Quiraing. The current name, ' translates as 'king's port', possibly from a visit by King James
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