text:
# Toyota, Aichi
Toyota (豊田市, Toyota-shi, pronounced [toꜜjota ɕi]), formerly known as Koromo, is a city in Aichi Prefecture, Japan. As of 1 October 2019, the city had an estimated population of 426,162 and a population density of 464 people per km2. The total area was 918.32 square kilometres (354.57 sq mi). It is located about 50 minutes from Nagoya by way of the Meitetsu Toyota Line.
Several of Toyota Motor Corporation's manufacturing plants, including the Tsutsumi plant, are located there. The longstanding ties between the Toyota Motor Corporation and the town of Toyota, formerly known as Koromo (挙母市, Koromo-shi), gave the town its current name. The city's flag (and seal), is a unicursal hexagram.

## Geography
Toyota is located in north-central Aichi Prefecture, and is the largest city in the prefecture in terms of area. The city area is mountainous to the north, with peaks averaging around 1000 feet (328 m) in height along its northern border with Nagano and Gifu Prefectures. Much of the mountainous northern portion of the city is within Aichi Kōgen Quasi-National Park.
Toyota is within a two hour drive of Nagoya.
- Downtown
- Iyama
- Kuroda Lake
- Mikawa Lake
- Okuyahagi Lake

### Climate
The city has a climate characterized by hot and humid summers, and relatively mild winters (Köppen climate classification, Cfa). The average annual temperature in Toyota is 15.3 °C (59.5 °F). The average annual rainfall is 1,470.4 mm (57.89 in) with September as the wettest month. The temperatures are highest on average in August, at around 27.4 °C (81.3 °F), and lowest in January, at around 3.6 °C (38.5 °F).
| Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Toyota (1991−2020 normals, extremes 1979−present) |
| Month                                                              | Jan                                                                | Feb                                                                | Mar                                                                | Apr                                                                | May                                                                | Jun                                                                | Jul                                                                | Aug                                                                | Sep                                                                | Oct                                                                | Nov                                                                | Dec                                                                | Year                                                               |
| ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ | ------------------------------------------------------------------ |
| Record high °C (°F)                                                | 17.8 (64.0)                                                        | 22.2 (72.0)                                                        | 25.7 (78.3)                                                        | 30.5 (86.9)                                                        | 34.4 (93.9)                                                        | 39.3 (102.7)                                                       | 39.8 (103.6)                                                       | 39.6 (103.3)                                                       | 38.1 (100.6)                                                       | 34.1 (93.4)                                                        | 26.5 (79.7)                                                        | 22.6 (72.7)                                                        | 39.8 (103.6)                                                       |
| Mean daily maximum °C (°F)                                         | 9.1 (48.4)                                                         | 10.3 (50.5)                                                        | 14.2 (57.6)                                                        | 19.9 (67.8)                                                        | 24.7 (76.5)                                                        | 27.7 (81.9)                                                        | 31.5 (88.7)                                                        | 33.3 (91.9)                                                        | 29.2 (84.6)                                                        | 23.3 (73.9)                                                        | 17.4 (63.3)                                                        | 11.6 (52.9)                                                        | 21.0 (69.8)                                                        |
| Daily mean °C (°F)                                                 | 3.6 (38.5)                                                         | 4.5 (40.1)                                                         | 8.3 (46.9)                                                         | 13.7 (56.7)                                                        | 18.5 (65.3)                                                        | 22.3 (72.1)                                                        | 26.3 (79.3)                                                        | 27.4 (81.3)                                                        | 23.7 (74.7)                                                        | 17.6 (63.7)                                                        | 11.4 (52.5)                                                        | 5.9 (42.6)                                                         | 15.3 (59.5)                                                        |
| Mean daily minimum °C (°F)                                         | −1.3 (29.7)                                                        | −0.8 (30.6)                                                        | 2.4 (36.3)                                                         | 7.5 (45.5)                                                         | 12.7 (54.9)                                                        | 17.8 (64.0)                                                        | 22.1 (71.8)                                                        | 23.0 (73.4)                                                        | 19.3 (66.7)                                                        | 12.9 (55.2)                                                        | 6.3 (43.3)                                                         | 1.0 (33.8)                                                         | 10.2 (50.4)                                                        |
| Record low °C (°F)                                                 | −8.6 (16.5)                                                        | −8.8 (16.2)                                                        | −5.6 (21.9)                                                        | −2.6 (27.3)                                                        | 0.8 (33.4)                                                         | 8.2 (46.8)                                                         | 14.7 (58.5)                                                        | 14.1 (57.4)                                                        | 6.5 (43.7)                                                         | 1.1 (34.0)                                                         | −2.5 (27.5)                                                        | −7.6 (18.3)                                                        | −8.8 (16.2)                                                        |
| Average precipitation mm (inches)                                  | 48.0 (1.89)                                                        | 61.2 (2.41)                                                        | 112.0 (4.41)                                                       | 119.5 (4.70)                                                       | 142.2 (5.60)                                                       | 183.6 (7.23)                                                       | 195.3 (7.69)                                                       | 125.8 (4.95)                                                       | 201.8 (7.94)                                                       | 152.8 (6.02)                                                       | 75.9 (2.99)                                                        | 52.6 (2.07)                                                        | 1,470.4 (57.89)                                                    |
| Average precipitation days (≥ 1.0 mm)                              | 5.7                                                                | 6.7                                                                | 9.1                                                                | 9.6                                                                | 9.6                                                                | 11.6                                                               | 12.1                                                               | 8.6                                                                | 11.0                                                               | 9.7                                                                | 6.6                                                                | 6.6                                                                | 106.9                                                              |
| Mean monthly sunshine hours                                        | 171.6                                                              | 175.0                                                              | 198.7                                                              | 203.0                                                              | 202.6                                                              | 148.5                                                              | 172.1                                                              | 209.6                                                              | 161.6                                                              | 168.6                                                              | 166.2                                                              | 165.9                                                              | 2,143.3                                                            |
| Source: Japan Meteorological Agency                                |                                                                    |                                                                    |                                                                    |                                                                    |                                                                    |                                                                    |                                                                    |                                                                    |                                                                    |                                                                    |                                                                    |                                                                    |                                                                    |

| Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) | Climate data for Inabu, Toyota (1991−2020 normals, extremes 1979−present) |
| Month                                                                     | Jan                                                                       | Feb                                                                       | Mar                                                                       | Apr                                                                       | May                                                                       | Jun                                                                       | Jul                                                                       | Aug                                                                       | Sep                                                                       | Oct                                                                       | Nov                                                                       | Dec                                                                       | Year                                                                      |
| ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- | ------------------------------------------------------------------------- |
| Record high °C (°F)                                                       | 15.3 (59.5)                                                               | 18.2 (64.8)                                                               | 24.1 (75.4)                                                               | 27.4 (81.3)                                                               | 30.5 (86.9)                                                               | 34.7 (94.5)                                                               | 35.5 (95.9)                                                               | 35.1 (95.2)                                                               | 33.6 (92.5)                                                               | 29.4 (84.9)                                                               | 22.7 (72.9)                                                               | 19.7 (67.5)                                                               | 35.5 (95.9)                                                               |
| Mean daily maximum °C (°F)                                                | 5.4 (41.7)                                                                | 6.9 (44.4)                                                                | 11.1 (52.0)                                                               | 16.9 (62.4)                                                               | 21.5 (70.7)                                                               | 24.4 (75.9)                                                               | 28.0 (82.4)                                                               | 29.4 (84.9)                                                               | 25.8 (78.4)                                                               | 20.2 (68.4)                                                               | 14.3 (57.7)                                                               | 8.2 (46.8)                                                                | 17.7 (63.8)                                                               |
| Daily mean °C (°F)                                                        | 0.2 (32.4)                                                                | 1.0 (33.8)                                                                | 4.8 (40.6)                                                                | 10.2 (50.4)                                                               | 15.2 (59.4)                                                               | 19.1 (66.4)                                                               | 22.9 (73.2)                                                               | 23.7 (74.7)                                                               | 20.1 (68.2)                                                               | 14.1 (57.4)                                                               | 7.8 (46.0)                                                                | 2.5 (36.5)                                                                | 11.8 (53.3)                                                               |
| Mean daily minimum °C (°F)                                                | −4.1 (24.6)                                                               | −3.9 (25.0)                                                               | −0.7 (30.7)                                                               | 3.9 (39.0)                                                                | 9.3 (48.7)                                                                | 14.7 (58.5)                                                               | 18.9 (66.0)                                                               | 19.6 (67.3)                                                               | 16.1 (61.0)                                                               | 9.5 (49.1)                                                                | 2.8 (37.0)                                                                | −1.9 (28.6)                                                               | 7.0 (44.6)                                                                |
| Record low °C (°F)                                                        | −13.9 (7.0)                                                               | −16.1 (3.0)                                                               | −11.2 (11.8)                                                              | −5.7 (21.7)                                                               | −0.9 (30.4)                                                               | 4.3 (39.7)                                                                | 11.3 (52.3)                                                               | 9.6 (49.3)                                                                | 3.8 (38.8)                                                                | −1.8 (28.8)                                                               | −6.5 (20.3)                                                               | −12.0 (10.4)                                                              | −16.1 (3.0)                                                               |
| Average precipitation mm (inches)                                         | 69.7 (2.74)                                                               | 85.8 (3.38)                                                               | 160.6 (6.32)                                                              | 157.8 (6.21)                                                              | 169.4 (6.67)                                                              | 223.8 (8.81)                                                              | 281.8 (11.09)                                                             | 214.4 (8.44)                                                              | 296.3 (11.67)                                                             | 190.5 (7.50)                                                              | 99.4 (3.91)                                                               | 76.8 (3.02)                                                               | 2,026.2 (79.77)                                                           |
| Average precipitation days (≥ 1.0 mm)                                     | 8.0                                                                       | 8.2                                                                       | 10.8                                                                      | 11.2                                                                      | 10.9                                                                      | 13.5                                                                      | 14.7                                                                      | 12.0                                                                      | 12.3                                                                      | 10.6                                                                      | 8.0                                                                       | 8.4                                                                       | 128.6                                                                     |
| Mean monthly sunshine hours                                               | 143.9                                                                     | 157.3                                                                     | 183.6                                                                     | 195.2                                                                     | 193.4                                                                     | 136.3                                                                     | 154.3                                                                     | 187.4                                                                     | 149.4                                                                     | 156.3                                                                     | 153.1                                                                     | 139.4                                                                     | 1,949.7                                                                   |
| Source: Japan Meteorological Agency                                       |                                                                           |                                                                           |                                                                           |                                                                           |                                                                           |                                                                           |                                                                           |                                                                           |                                                                           |                                                                           |                                                                           |                                                                           |                                                                           |

### Demographics
Per Japanese census data, the population of Toyota has been increasing over the past 50 years.
| Year | Pop.    | ±%     |
| ---- | ------- | ------ |
| 1960 | 151,632 | —      |
| 1970 | 234,078 | +54.4% |
| 1980 | 315,871 | +34.9% |
| 1990 | 370,858 | +17.4% |
| 2000 | 395,224 | +6.6%  |
| 2010 | 421,552 | +6.7%  |

### Surrounding municipalities
Aichi Prefecture
- Anjō
- Chiryu
- Kariya
- Miyoshi
- Nagakute
- Nisshin
- Okazaki
- Seto
- Shinshiro
- Shitara

Gifu Prefecture
- Ena
- Mizunami
- Toki

Nagano Prefecture
- Neba

### City scape
- Skyline of Toyota
- Koromo Castle
- Toyotashi Station Pedestrian Deck
- Downtown of Toyota

## History

### Origins
The area of present-day Toyota City has been inhabited since prehistoric times, and archaeologists have found a continuous record of artifacts from the Japanese paleolithic period onwards.
In early proto-historic times, the area was under the control of the Mononobe clan, who built numerous kofun burial mounds. The local place name "Koromo" is mentioned in the Kojiki and other early Japanese documents.

### Edo period
During the Edo period, parts of the area of the current city were under the control of Koromo Domain, a feudal han under the Tokugawa shogunate; however, most of the area of the current city was tenryō territory controlled directly by the government in Edo and administered through hatamoto class appointed administrators. The village of "Matsudaira", from which Tokugawa Ieyasu took his clan name, was located within what is now the city of Toyota.

### Meiji period
After the Meiji restoration, the area was organized into the towns of Asuke and Koromo and numerous villages under Higashikamo District and Nishikamo District with the establishment of the modern municipalities system.
The area was a major producer of silk and prospered from the Meiji period through the Taishō periods. As the demand for raw silk declined in Japan and abroad, Koromo entered a period of gradual decline after 1930. The decline encouraged Kiichiro Toyoda, cousin of Eiji Toyoda, to look for alternatives to the family's automatic loom manufacturing business. The search led to the founding of what became the Toyota Motor Corporation. Toyota built the first manufacturing facility, known as Toyota Honsha plant in November 1938, breaking ground in December 1935.

### Modern history
On March 1, 1951, Koromo gained city status, and absorbed the village of Takahashi from Nishikamo District on September 30, 1956. Due to the fame and economic importance of its major employer, the city of Koromo (挙母市) changed its name to Toyota on January 1, 1959.
Toyota became a sister city with Detroit, Michigan, United States in 1960. It continued to expand by annexing the towns of Kamigo (Hekikai District) on March 1, 1964, and Takaoka (Hekikai District) on September 1, 1965, and Sanage (Nishikamo District) on April 1, 1967, as well as the village of Matsudaira (Higashikamo District) on April 1, 1970.
In 1979 the Nagoya Railroad (Meitetsu) opened the Toyota New Line (now Toyota Line), and in 1988, the Aichi Loop Line was opened, thus considerably improving access to the city via rail transport.
Toyota became a Core City in 1998, with increased local autonomy.
On March 25, 2005, Expo 2005 opened with its main site in Nagakute and additional activity in Seto and Toyota. The Expo continued until September 25, 2005.
On April 1, 2005, Toyota absorbed the town of Fujioka, and the village of Obara (both from Nishikamo District), the towns of Asuke, Asahi and Inabu, and the village of Shimoyama (all from Higashikamo District) to create the new and expanded city of Toyota.
Mitsuru Obe and Eric Pfanner of The Wall Street Journal stated that by 2015 Toyota was recovering from an economic depression "so deep that some were comparing it to Detroit."
- Sanage shinto shrine
- Asuke area (Groups of Traditional Buildings)
- Koromo Castle
- City center of Toyota

## Government

### Mayor-council
Toyota has a mayor-council form of government with a directly elected mayor and a unicameral city legislature of 45 members.

### Prefectural Assembly
The city contributes five members to the Aichi Prefectural Assembly.

### House of Representatives
In terms of national politics, the city is divided between Aichi District 11 and Aichi District 14 of the lower house of the Diet of Japan.

## Public

### Police
- Aichi Prefectural Police
  - Asuke police station
  - Toyota police station

### Firefighting
- Fire department
  - Asuke fire department
  - Toyota-Kita fire department
  - Toyota-Minami fire department
  - Toyota-naka fire department

### Health care
- Hospital
  - Asuke Hospital
  - Toyota Kosei Hospital
  - TOYOTA Memorial Hospital

### Post office
- Toyota Post office

### Library
- Toyota City Library

- Toyota Police Station
- Toyota Fire Department
- Toyota Kosei Hospital
- Toyota Post Office
- Toyota City Library

## Sister cities
Toyota is twinned with:
- Detroit, United States, since 1960
- Derbyshire, England, United Kingdom, since 1998

## Economy

### Primary sector of the economy
Agriculture
- Peach
- Pyrus pyrifolia (Atago)

Forestry
- Cryptomeria
- Chamaecyparis obtusa

### Secondary sector of the economy
The main headquarters of Toyota is located in a 14-story building in Toyota. As of 2006 the head office has the "Toyopet" Toyota logo and the words "Toyota Motor". The Toyota Technical Center, a 14-story building, and the original Honsha plant, Toyota's first plant engaging in mass production and formerly named the Koromo plant, are adjacent to one another in a location near the headquarters. Vinod Jacob from The Hindu described the main headquarters building as "modest". In 2013 company head Akio Toyoda reported that it had difficulties retaining foreign employees at the headquarters due to the lack of amenities in Toyota.

### Tertiary sector of the economy
Shopping center
- Æon Takahashi (GREEN CITY)
- Æon Toyota
- KiTARA
- Lut's
- Meglia
- T-FACE

- Azakai Town
- Inabu Town
- JA Aichi Toyota
- Toyota 86
- Æon Toyota
- KiTARA

## Education

### Colleges and universities
- Aichi Gakusen University
- Aichi Institute of Technology
- Aichi Mizuho College
- Chukyo University – Toyota campus
- Japanese Red Cross Toyota College of Nursing
- Junior College of Toyota (1990–1999)
- Ohkagakuen University – Toyota campus
- Toyota National College of Technology

### Primary and secondary education
Toyota has 78 public elementary schools and 27 public middle schools operated by the city government and 12 public high schools operated by the Aichi Prefectural Board of Education. There are also two private middle schools and eight private high schools. The prefecture also operates two special education schools for the disabled.

### International schools
- Escola Alegria de Saber – Brazilian school[14]
- Escola NECTAR – Brazilian primary school[14]
- Escola Pintando o Sete – Brazilian primary school[14]

## Transportation
Toyota, as the home city of Toyota Motor Corporation is well-served by expressways and national highways. However, it was the largest city in Japan which was not served by the Japanese National Railways (JNR) during its existence. The closest Shinkansen station is Mikawa-Anjō Station in the city of Anjō, although the limited-stop Nozomi and Hikari services do not stop there.

### Railways

#### Conventional lines
Meitetsu
- Toyota Line: Umetsubo – Kamitoyota – Jōsui
- Mikawa Line: Sanage – Hiratobashi – Koshido – Umetsubo – Toyotashi – Uwagoromo – Tsuchihashi – Takemura – Wakabayashi – Mikawa Yatsuhashi

 Aichi Loop Railway
- Aichi Loop Line: Mikawa-Kamigō – Ekaku – Suenohara – Mikawa-Toyota – Shin-Uwagoromo – Shin-Toyota – Aikan-Umetsubo – Shigō – Kaizu – Homi –  Sasabara – Yakusa

 Linimo
- Aichi High-Speed Transit: Tōji-shiryōkan-minami – Yakusa

### Roads

#### Expressways
- Tōmei Expressway
- Shin-Tōmei Expressway
- Isewangan Expressway
- Tōkai-Kanjō Expressway

#### Japan National Route
- National Route 153
- National Route 155
- National Route 248
- National Route 301
- National Route 419
- National Route 420
- National Route 257
- National Route 473

- Toyotashi Station
- Shin-Toyota Station
- Toyota JCT
- Toyota-Higashi JCT
- National Route 153
- Toyota big bridge
- Toyota Arrows Bridge

## Local attractions
- Asuke area (Groups of Traditional Buildings)
- Kampachi Gorge
- Kōrankei Gorge
- Kuragaike park
- The ruins of Matsudaira
- Obara shikizakura
- Toyota Automobile Museum
- Toyota Kaikan Exhibition Hall
- Toyota Kuragaike Commemorative Hall
- Toyota Municipal Museum of Art

- Asuke area
- Asuke  Castle
- Toyota Municipal Museum of Art
- Toyota Kaikan Exhibition Hall
- Toyota Kuragaike Commemorative Hall
- Kampachi Gorge
- Kōrankei Gorge
- Sanshu Asuke Yashiki
- Kōjaku-ji
- Obara shikizakura
- The ruins of Matsudaira
- Kuragaike park
- Koromo Festival

## Culture

### Sports

#### Sports Team
| Sex   | Name                       | competition       | League                                          | Home                    | Sponsor                   | Since |
| ----- | -------------------------- | ----------------- | ----------------------------------------------- | ----------------------- | ------------------------- | ----- |
| Men   | Toyota Verblitz            | Rugby             | Japan Rugby League One                          | Toyota Sports Center    | Toyota Motor Corporation  | 1941  |
| Men   | Toyota Sunhawks            | Volleyball        | V.League (V2)                                   | Toyota Sports Center    | Toyota Motor Corporation  | 1946  |
| Men   | Toyota Baseball club       | Baseball          | Japan Amateur Baseball Association (JABA)       | Toyota Sports Center    | Toyota Motor Corporation  | 1947  |
| Women | Toyota Red Terriers        | Softball          | Japan Softball League (JSL)                     | Toyota Sports Center    | Toyota Motor Corporation  | 1948  |
| Women | Toyota Sunpiena            | Volleyball        | V.League (V2)                                   | Toyota Sports Center    | Toyota Motor Corporation  | 1950  |
| Men   | Toyota Griffins            | Handball          | Japan Handball League (JHL・Challenge Division) | Toyota Sports Center    | Toyota Motor Corporation  | 1970  |
| Men   | Kirix Toyota Bull Fighters | American football | X-League                                        | Toyota Athletic Stadium | Kirix Group               | 1974  |
| Men   | Toyota Tsusho BLUE WING    | Rugby             | TOP West League                                 | Fujioka Ground          | Toyota Tsusho             | 1980  |
| Men   | Nagoya Grampus             | Soccer            | J.League (J1)                                   | Toyota Stadium          | Nagoya Grampus Eight Inc. | 1991  |

#### Sports Facilities
- Sky Hall Toyota
- Toyota Athletic Stadium
- Toyota Sports Center
- Toyota Stadium

## Notable people from Toyota
- Miliyah Kato, singer
- Yoshio Markino, artist, author
- Masami Mitsuoka, singer
- Masato Naito, Olympic hurdler
- Etsuko Nishio, singer, actress
- Suzuki Shōsan, Edo period Zen prelate
- Tadashi Sugiura, professional baseball player
- Katsuaki Watanabe, former president of Toyota Motors

title: Toyota, Aichi

wikitext:
{{about|the city|the automobile manufacturer|Toyota}}
{{Multiple issues|
{{More citations needed|date=May 2013}}
{{Cleanup list|date=April 2017}}
}}
{{Infobox settlement
| name                     = Toyota
| official_name            =
| native_name              = {{nobold|{{lang|ja|豊田市}}}}
| native_name_lang         = ja
| settlement_type          = [[Core cities of Japan|Core city]]
| image_skyline            = {{multiple image
  | border        = infobox
  | total_width   = 280
  | perrow        = 2/2/2/1
  | caption_align = center
  | image1        = Nagoya Grampus game in Toyota Stadium 100814.JPG
  | caption1      = [[Toyota Stadium (Japan)|Toyota Stadium]]
  | image2        = TMC Headquarters Building, Toyota-cho Toyota 2019.jpg
  | caption2      = [[Toyota|Toyota Motor Corporation]] headquarters
  | image3        = 香嵐渓 (愛知県豊田市足助町) - panoramio (5).jpg
  | caption3      = [[Kōrankei]]
  | image4        = Asuke Shintamachi Yamashiroya Ryokan ac (1).jpg
  | caption4      = [[Asuke, Aichi|Asuke Town]]
  | image5        = Kuragaike Park 02, Toyota 2019.jpg
  | caption5      = Kuragaike Park
  | image6        = Sanage Jinja Shrine Keidai, Sanage-cho Toyota 2019.jpg
  | caption6      = Sanage-jinja Shrine
  | image7        = Toyota City Skyline003.jpg
  | caption7      = Toyota [[skyline]]
 }}
| image_flag               = Flag of Toyota, Aichi.svg
| flag_alt                 = Flag of Toyota, Aichi
| image_blank_emblem       = Emblem of Toyota, Aichi.svg
| blank_emblem_alt         = Emblem of Toyota, Aichi
| blank_emblem_type        = Emblem
| nickname                 =
| motto                    =
| image_map                = {{maplink|frame=yes|plain=yes|frame-align=center|frame-coord={{coord|35.15|N|137.35|E}}|type=shape-inverse|stroke-width=2|stroke-color=#333333|zoom=9}}
| map_caption              = Interactive map outlining Toyota
| image_map1               = Toyota in Aichi Prefecture Ja.svg
| mapsize1                 = 300
| map_alt1                 =
| map_caption1             = {{color box|#f25796}} Location of Toyota in Aichi Prefecture
| pushpin_map              = Japan
| pushpin_mapsize          = 300
| pushpin_label_position   =
| pushpin_map_alt          =
| pushpin_map_caption      =
| coordinates              = {{coord|35|4|56.8|N|137|9|22.8|E|region:JP-23|display=it}}
| coor_pinpoint            =
| coordinates_footnotes    =
| subdivision_type         = [[Country]]
| subdivision_name         = {{flagdeco|JPN}} [[Japan]]
| subdivision_type1        = [[List of regions of Japan|Region]]
| subdivision_name1        = [[Chūbu region|Chūbu]] ([[Tōkai region|Tōkai]])
| subdivision_type2        = [[Prefectures of Japan|Prefecture]]
| subdivision_name2        = [[Aichi Prefecture|Aichi]]
| subdivision_type3        =
| subdivision_name3        =
| established_title        =
| established_date         =
| founder                  =
| named_for                =
| seat_type                =
| seat                     =
| government_footnotes     =
| leader_party             =
| leader_title             = Mayor
| leader_name              = Toshihiko Ota
| leader_title1            =
| leader_name1             =
| total_type               =
| unit_pref                =
| area_magnitude           =
| area_footnotes           =
| area_total_km2           = 918.32
| area_land_km2            =
| area_water_km2           =
| area_water_percent       =
| area_note                =
| elevation_footnotes      =
| elevation_m              =
| population_footnotes     =
| population_total         = 426162
| population_as_of         = October 1, 2019
| population_density_km2   = auto
| population_est           =
| pop_est_as_of            =
| population_demonym       =
| population_note          =
| timezone1                = [[Japan Standard Time]]
| utc_offset1              = +9
| postal_code_type         =
| postal_code              =
| area_code_type           =
| area_code                =
| blank_name_sec1          = Phone number
| blank_info_sec1          = 0565-31-1212
| blank1_name_sec1         = Address
| blank1_info_sec1         = 3–60 Nishimachi, Toyota-shi, Aichi-ken 471-8501
| blank_name_sec2          = [[Köppen climate classification|Climate]]
| blank_info_sec2          = [[Humid subtropical climate|Cfa]]
| website                  = {{official website|www.city.toyota.aichi.jp}}
| footnotes                =
| module                   = {{Infobox place symbols| embedded=yes
 | tree = [[Zelkova serrata]]
 | flower = [[Sunflower]]
 | bird =
 | flowering_tree =
 | butterfly =
 | fish =
 | other_symbols =
}}
}}
{{nihongo|'''Toyota'''|豊田市|Toyota-shi|{{IPA|ja|toꜜjota ɕi|pron}}}}, formerly known as '''Koromo''', is a [[Cities of Japan|city]] in [[Aichi Prefecture]], Japan. {{As of|2019|10|01}}, the city had an estimated population of 426,162 and a population density of 464 people per km2. The total area was {{convert|918.32|sqkm|sqmi}}. It is located about 50 minutes from [[Nagoya]] by way of the [[Meitetsu Toyota Line]].

Several of [[Toyota|Toyota Motor Corporation]]'s manufacturing plants, including the Tsutsumi plant, are located there. The longstanding ties between the Toyota Motor Corporation and the town of Toyota, formerly known as {{Nihongo|Koromo|挙母市|Koromo-shi}}, gave the town its current name. The city's flag (and seal), is a [[unicursal hexagram]].

==Geography==
Toyota is located in north-central Aichi Prefecture, and is the largest city in the prefecture in terms of area. The city area is mountainous to the north, with peaks averaging around 1000 feet (328 m) in height along its northern border with Nagano and Gifu Prefectures. Much of the mountainous northern portion of the city is within [[Aichi Kōgen Quasi-National Park]].

Toyota is within a two hour drive of [[Nagoya]].<ref name=Jacob>Jacob, Vinod. "[http://www.thehindubusinessline.com/life/2006/08/18/stories/2006081800020200.htm In Toyota land] {{Webarchive|url=https://web.archive.org/web/20100721173402/http://www.thehindubusinessline.com/life/2006/08/18/stories/2006081800020200.htm |date=2010-07-21 }}." ''[[The Hindu]] [[Business Line]]''. August 18, 2006. Retrieved on May 9, 2013.</ref>
<gallery>
File:View of Yahagi River from Nomiyama Viewing Platform, Toyota 2013.jpg|Downtown
File:Iyama03.jpg|Iyama
File:Kurodacho, Toyota, Aichi Prefecture 441-2524, Japan - panoramio (1).jpg|Kuroda Lake
File:View of Lake Mikawa, Habu-cho Toyota 2012.JPG|Mikawa Lake
File:Asahi Ohashi, Ushiji&Odakino-cho Toyota 2012.JPG|Okuyahagi Lake
</gallery>

===Climate===
The city has a climate characterized by hot and humid summers, and relatively mild winters ([[Köppen climate classification]], ''Cfa''). The average annual temperature in Toyota is {{cvt|15.3|C}}. The average annual rainfall is {{cvt|1470.4|mm}} with September as the wettest month. The temperatures are highest on average in August, at around {{cvt|27.4|C}}, and lowest in January, at around {{cvt|3.6|C}}.<ref name=normals/>
{{Weather box
|width=auto
|location = Toyota (1991−2020 normals, extremes 1979−present)
|collapsed = Y
|single line = Y
|metric first = Y
|Jan record high C = 17.8
|Feb record high C = 22.2
|Mar record high C = 25.7
|Apr record high C = 30.5
|May record high C = 34.4
|Jun record high C = 39.3
|Jul record high C = 39.8
|Aug record high C = 39.6
|Sep record high C = 38.1
|Oct record high C = 34.1
|Nov record high C = 26.5
|Dec record high C = 22.6
|Jan record low C = -8.6
|Feb record low C = -8.8
|Mar record low C = -5.6
|Apr record low C = -2.6
|May record low C = 0.8
|Jun record low C = 8.2
|Jul record low C = 14.7
|Aug record low C = 14.1
|Sep record low C = 6.5
|Oct record low C = 1.1
|Nov record low C = -2.5
|Dec record low C = -7.6
|Jan high C = 9.1
|Feb high C = 10.3
|Mar high C = 14.2
|Apr high C = 19.9
|May high C = 24.7
|Jun high C = 27.7
|Jul high C = 31.5
|Aug high C = 33.3
|Sep high C = 29.2
|Oct high C = 23.3
|Nov high C = 17.4
|Dec high C = 11.6
|Jan mean C = 3.6
|Feb mean C = 4.5
|Mar mean C = 8.3
|Apr mean C = 13.7
|May mean C = 18.5
|Jun mean C = 22.3
|Jul mean C = 26.3
|Aug mean C = 27.4
|Sep mean C = 23.7
|Oct mean C = 17.6
|Nov mean C = 11.4
|Dec mean C = 5.9
|Jan low C = -1.3
|Feb low C = -0.8
|Mar low C = 2.4
|Apr low C = 7.5
|May low C = 12.7
|Jun low C = 17.8
|Jul low C = 22.1
|Aug low C = 23.0
|Sep low C = 19.3
|Oct low C = 12.9
|Nov low C = 6.3
|Dec low C = 1.0
|precipitation colour = green
|Jan precipitation mm = 48.0
|Feb precipitation mm = 61.2
|Mar precipitation mm = 112.0
|Apr precipitation mm = 119.5
|May precipitation mm = 142.2
|Jun precipitation mm = 183.6
|Jul precipitation mm = 195.3
|Aug precipitation mm = 125.8
|Sep precipitation mm = 201.8
|Oct precipitation mm = 152.8
|Nov precipitation mm = 75.9
|Dec precipitation mm = 52.6
|year precipitation mm = 1470.4
|unit precipitation days = 1.0 mm
|Jan precipitation days = 5.7
|Feb precipitation days = 6.7
|Mar precipitation days = 9.1
|Apr precipitation days = 9.6
|May precipitation days = 9.6
|Jun precipitation days = 11.6
|Jul precipitation days = 12.1
|Aug precipitation days = 8.6
|Sep precipitation days = 11.0
|Oct precipitation days = 9.7
|Nov precipitation days = 6.6
|Dec precipitation days = 6.6
|Jan sun = 171.6
|Feb sun = 175.0
|Mar sun = 198.7
|Apr sun = 203.0
|May sun = 202.6
|Jun sun = 148.5
|Jul sun = 172.1
|Aug sun = 209.6
|Sep sun = 161.6
|Oct sun = 168.6
|Nov sun = 166.2
|Dec sun = 165.9
|year sun = 2143.3
|source 1 = [[Japan Meteorological Agency]]<ref>{{cite web
| url = https://www.data.jma.go.jp/obd/stats/etrn/view/rank_a.php?prec_no=51&block_no=0464&year=&month=&day=&view=h0
|script-title=ja:観測史上1～10位の値（年間を通じての値）
| publisher = [[Japan Meteorological Agency|JMA]]
| access-date = April 13, 2022}}</ref><ref name=normals>{{cite web
| url = https://www.data.jma.go.jp/obd/stats/etrn/view/nml_amd_ym.php?prec_no=51&block_no=0464&year=&month=3&day=&view=h0
|script-title=ja:気象庁 / 平年値（年・月ごとの値）
| publisher = [[Japan Meteorological Agency|JMA]]
| access-date = April 13, 2022}}</ref>}}
{{Weather box
|width=auto
|location = [[Inabu]], Toyota (1991−2020 normals, extremes 1979−present)
|collapsed = Y
|single line = Y
|metric first = Y
|Jan record high C = 15.3
|Feb record high C = 18.2
|Mar record high C = 24.1
|Apr record high C = 27.4
|May record high C = 30.5
|Jun record high C = 34.7
|Jul record high C = 35.5
|Aug record high C = 35.1
|Sep record high C = 33.6
|Oct record high C = 29.4
|Nov record high C = 22.7
|Dec record high C = 19.7
|Jan record low C = -13.9
|Feb record low C = -16.1
|Mar record low C = -11.2
|Apr record low C = -5.7
|May record low C = -0.9
|Jun record low C = 4.3
|Jul record low C = 11.3
|Aug record low C = 9.6
|Sep record low C = 3.8
|Oct record low C = -1.8
|Nov record low C = -6.5
|Dec record low C = -12.0
|Jan high C = 5.4
|Feb high C = 6.9
|Mar high C = 11.1
|Apr high C = 16.9
|May high C = 21.5
|Jun high C = 24.4
|Jul high C = 28.0
|Aug high C = 29.4
|Sep high C = 25.8
|Oct high C = 20.2
|Nov high C = 14.3
|Dec high C = 8.2
|Jan mean C = 0.2
|Feb mean C = 1.0
|Mar mean C = 4.8
|Apr mean C = 10.2
|May mean C = 15.2
|Jun mean C = 19.1
|Jul mean C = 22.9
|Aug mean C = 23.7
|Sep mean C = 20.1
|Oct mean C = 14.1
|Nov mean C = 7.8
|Dec mean C = 2.5
|Jan low C = -4.1
|Feb low C = -3.9
|Mar low C = -0.7
|Apr low C = 3.9
|May low C = 9.3
|Jun low C = 14.7
|Jul low C = 18.9
|Aug low C = 19.6
|Sep low C = 16.1
|Oct low C = 9.5
|Nov low C = 2.8
|Dec low C = -1.9
|precipitation colour = green
|Jan precipitation mm = 69.7
|Feb precipitation mm = 85.8
|Mar precipitation mm = 160.6
|Apr precipitation mm = 157.8
|May precipitation mm = 169.4
|Jun precipitation mm = 223.8
|Jul precipitation mm = 281.8
|Aug precipitation mm = 214.4
|Sep precipitation mm = 296.3
|Oct precipitation mm = 190.5
|Nov precipitation mm = 99.4
|Dec precipitation mm = 76.8
|year precipitation mm = 2026.2
|unit precipitation days = 1.0 mm
|Jan precipitation days = 8.0
|Feb precipitation days = 8.2
|Mar precipitation days = 10.8
|Apr precipitation days = 11.2
|May precipitation days = 10.9
|Jun precipitation days = 13.5
|Jul precipitation days = 14.7
|Aug precipitation days = 12.0
|Sep precipitation days = 12.3
|Oct precipitation days = 10.6
|Nov precipitation days = 8.0
|Dec precipitation days = 8.4
|Jan sun = 143.9
|Feb sun = 157.3
|Mar sun = 183.6
|Apr sun = 195.2
|May sun = 193.4
|Jun sun = 136.3
|Jul sun = 154.3
|Aug sun = 187.4
|Sep sun = 149.4
|Oct sun = 156.3
|Nov sun = 153.1
|Dec sun = 139.4
|year sun = 1949.7
|source 1 = [[Japan Meteorological Agency]]<ref>{{cite web
| url = https://www.data.jma.go.jp/obd/stats/etrn/view/rank_a.php?prec_no=51&block_no=0982&year=&month=&day=&view=h0
|script-title=ja:観測史上1～10位の値（年間を通じての値）
| publisher = [[Japan Meteorological Agency|JMA]]
| access-date = April 13, 2022}}</ref><ref>{{cite web
| url = https://www.data.jma.go.jp/obd/stats/etrn/view/nml_amd_ym.php?prec_no=51&block_no=0982&year=&month=&day=&view=h0
|script-title=ja:気象庁 / 平年値（年・月ごとの値）
| publisher = [[Japan Meteorological Agency|JMA]]
| access-date = April 13, 2022}}</ref>}}

===Demographics===
[[File:Toyota Metropolitan Employment Area.svg|thumb|200px|Toyota MEA]]
Per Japanese census data,<ref>[https://www.citypopulation.de/php/japan-aichi.php Toyota population statistics]</ref> the population of Toyota has been increasing over the past 50 years.
{{Historical populations
| 1960 | 151632
| 1970 | 234078
| 1980 | 315871
| 1990 | 370858
| 2000 | 395224
| 2010 | 421552
|align       = none
| footnote =
}}

===Surrounding municipalities===
;{{flagdeco|Aichi}}[[Aichi Prefecture]]
*[[Anjō, Aichi|Anjō]]
*[[Chiryu, Aichi|Chiryu]]
*[[Kariya, Aichi|Kariya]]
*[[Miyoshi, Aichi|Miyoshi]]
*[[Nagakute]]
*[[Nisshin, Aichi|Nisshin]]
*[[Okazaki, Aichi|Okazaki]]
*[[Seto, Aichi|Seto]]
*[[Shinshiro, Aichi|Shinshiro]]
*[[Shitara, Aichi|Shitara]]
;{{flagdeco|Gifu}}[[Gifu Prefecture]]
*[[Ena, Gifu|Ena]]
*[[Mizunami, Gifu|Mizunami]]
*[[Toki, Gifu|Toki]]
;{{flagdeco|Nagano}}[[Nagano Prefecture]]
*[[Neba, Nagano|Neba]]

===City scape===
<gallery mode="packed" style="text-align: center;" caption="" heights="110px" perrow="3">
File:Toyota City Skyline001.jpg|[[Skyline]] of Toyota
File:Koromo-jo Castle（Shichishū-jo Castle）.jpg|[[Koromo Castle]]
File:Toyota-Pedestrian-Deck-1.jpg|[[Toyotashi Station]] Pedestrian Deck
File:Pedestrian Deck, Wakamiya-cho Toyota 2018.jpg|[[Downtown]] of Toyota
</gallery>

== History ==
{{More citations needed section|date=April 2017}}

===Origins===
The area of present-day Toyota City has been inhabited since prehistoric times, and archaeologists have found a continuous record of artifacts from the [[Japanese paleolithic]] period onwards.
In early proto-historic times, the area was under the control of the [[Mononobe clan]], who built numerous ''[[kofun]]'' burial mounds. The local place name "'''Koromo'''" is mentioned in the ''[[Kojiki]]'' and other early Japanese documents.

=== Edo period ===
During the [[Edo period]], parts of the area of the current city were under the control of [[Koromo Domain]], a [[Han system|feudal ''han'']] under the [[Tokugawa shogunate]]; however, most of the area of the current city was ''[[tenryō]]'' territory controlled directly by the government in [[Edo]] and administered through ''[[hatamoto]]'' class appointed administrators. The village of "Matsudaira", from which [[Tokugawa Ieyasu]] took his clan name, was located within what is now the city of Toyota.

===Meiji period===
After the [[Meiji restoration]], the area was organized into the towns of Asuke and Koromo and numerous villages under [[Higashikamo District, Aichi|Higashikamo District]] and [[Nishikamo District, Aichi|Nishikamo District]] with the establishment of the modern municipalities system.

The area was a major producer of [[silk]] and prospered from the [[Meiji period]] through the [[Taishō period]]s. As the demand for raw silk declined in Japan and abroad, Koromo entered a period of gradual decline after 1930.<ref>{{cite web|url=http://www.crwflags.com/fotw/flags/jp-23-.html|title=Municipalities of Aichi (Japan)|access-date=22 May 2011|archive-url=https://web.archive.org/web/20121021050911/http://www.crwflags.com/fotw/flags/jp-23-.html|archive-date=21 October 2012|url-status=live}}</ref> The decline encouraged [[Kiichiro Toyoda]], cousin of [[Eiji Toyoda]], to look for alternatives to the family's automatic [[loom]] manufacturing business. The search led to the founding of what became the [[Toyota|Toyota Motor Corporation]]. Toyota built the first manufacturing facility, known as [[Toyota Honsha plant]] in November 1938, breaking ground in December 1935.<ref>{{Cite web |url=http://www.toyota-global.com/company/history_of_toyota/75years/data/automotive_business/production/production/japan/general_status/honsha.html |title=Toyota Honsha Plant history |access-date=2015-06-27 |archive-url=https://web.archive.org/web/20150306074306/http://www.toyota-global.com/company/history_of_toyota/75years/data/automotive_business/production/production/japan/general_status/honsha.html |archive-date=2015-03-06 |url-status=live }}</ref>

===Modern history===
On March 1, 1951, Koromo gained city status, and absorbed the village of Takahashi from Nishikamo District on September 30, 1956. Due to the fame and economic importance of its major employer, the city of {{nihongo|Koromo|挙母市|}} changed its name to Toyota on January 1, 1959.

Toyota became a sister city with [[Detroit, Michigan|Detroit]], [[Michigan]], [[United States]] in 1960. It continued to expand by annexing the towns of Kamigo (Hekikai District) on March 1, 1964, and Takaoka (Hekikai District) on September 1, 1965, and Sanage (Nishikamo District) on April 1, 1967, as well as the village of Matsudaira (Higashikamo District) on April 1, 1970.

In 1979 the [[Nagoya Railroad]] (Meitetsu) opened the Toyota New Line (now [[Meitetsu Toyota Line|Toyota Line]]), and in 1988, the [[Aichi Loop Line]] was opened, thus considerably improving access to the city via rail transport.

Toyota became a [[Core cities of Japan|Core City]] in 1998, with increased local autonomy.

On March 25, 2005, [[Expo 2005]] opened with its main site in [[Nagakute, Aichi|Nagakute]] and additional activity in [[Seto, Aichi|Seto]] and Toyota. The Expo continued until September 25, 2005.

On April 1, 2005, Toyota absorbed the town of [[Fujioka, Aichi|Fujioka]], and the village of [[Obara, Aichi|Obara]] (both from [[Nishikamo District, Aichi|Nishikamo District]]), the towns of [[Asuke, Aichi|Asuke]], [[Asahi, Aichi|Asahi]] and [[Inabu, Aichi|Inabu]], and the village of [[Shimoyama, Aichi|Shimoyama]] (all from [[Higashikamo District, Aichi|Higashikamo District]]) to create the new and expanded city of Toyota.<ref>{{Cite web |last=豊田市 |title=山村地域移住情報バンク｜豊田市 |url=https://www.city.toyota.aichi.jp/kurashi/sumai/teiju/ijyubank/index.html |access-date=2024-02-07 |website=Toyota City |language=ja |quote=平成17年4月1日に旧藤岡町、小原村、足助町、下山村、旭町、稲武町（旧6町村）が合併し、現在の豊田市になりました。}}</ref><ref>{{Cite web |title=愛知県の市町村合併 - 愛知県 |url=https://www.pref.aichi.jp/soshiki/shichoson/0000005246shichoson-gappei.html |access-date=2024-02-07 |website=Aichi Prefectural Government}}</ref>

Mitsuru Obe and Eric Pfanner of ''[[The Wall Street Journal]]'' stated that by 2015 Toyota was recovering from an economic depression "so deep that some were [[Decline of Detroit|comparing it to Detroit]]."<ref>Obe, Mitsuru and Eric Pfanner. [https://web.archive.org/web/20160305124503/http://www.wsj.com/articles/abenomics-backing-tepid-even-in-toyota-town-1418280211 "Abe’s Backing Is Lukewarm, Even in Toyota’s Town"]. ''[[The Wall Street Journal]]''. December 11, 2014. Retrieved on August 12, 2015.</ref>
<gallery class="center">
File:Sanage-jinja Torii.jpg|Sanage shinto shrine
File:Chuma no Ohinasan 2012.jpg|Asuke area ([[Groups of Traditional Buildings]])
File:Toyota museum 101.JPG|Koromo Castle
File:Toyota Sangokan exterior 2017-06 (1).jpg|City center of Toyota
</gallery>

==Government==
[[File:Toyota City Hall West-East Office02, Toyota 2018.jpg|right|thumb|200px|Toyota City Hall]]

===Mayor-council===
Toyota has a [[mayor-council]] form of government with a directly elected mayor and a [[unicameral]] city legislature of 45 members.

===Prefectural Assembly===
The city contributes five members to the [[Aichi Prefectural Assembly]].

===House of Representatives===
In terms of national politics, the city is divided between Aichi District 11 and Aichi District 14 of the [[House of Representatives of Japan|lower house]] of the [[Diet of Japan]].
{{-}}

==Public==
===Police===
*[[Aichi Prefectural Police]]
**Asuke police station
**Toyota police station

===Firefighting===
*Fire department
**Asuke fire department
**Toyota-Kita fire department
**Toyota-Minami fire department
**Toyota-naka fire department

===Health care===
*Hospital
**Asuke Hospital
**Toyota Kosei Hospital
**TOYOTA Memorial Hospital

===Post office===
*Toyota Post office

===Library===
*Toyota City Library
<gallery mode="packed" style="text-align: center;" caption="" heights="110px" perrow="3">
File:Toyota Police station 2018.jpg|Toyota Police Station
File:Toyota City Fire Fighting Head Office, Chokoji Toyota 2019.jpg|Toyota Fire Department
File:Toyota-Kosei-Hospital-1.jpg|Toyota Kosei Hospital
File:Toyota Post Office, Totsuka-cho Toyota 2018.jpg|Toyota Post Office
File:Toyota City Central Library exterior ac (2).jpg|Toyota City Library
</gallery>

==Sister cities==
Toyota is [[Sister city|twinned]] with:<ref>{{cite web |title=国際交流|url=https://www.city.toyota.aichi.jp/shisei/kokusaikoryu/index.html|website=city.toyota.aichi.jp|publisher=Toyota|language=ja|access-date=2023-12-27}}</ref>
*{{flagicon|USA}} [[Detroit]], [[United States]], since 1960
*{{flagicon|ENG}} [[Derbyshire]], [[England]], [[United Kingdom]], since 1998

==Economy==
[[File:Toyota Headquarter Toyota City.jpg|thumb|Principal headquarters building of Toyota Motor Corporation]]

===Primary sector of the economy===
;Agriculture
*[[Peach]]
*[[Pyrus pyrifolia]] (Atago)
;Forestry
*[[Cryptomeria]]
*[[Chamaecyparis obtusa]]

===Secondary sector of the economy===
The main headquarters of [[Toyota]] is located in a 14-story building in Toyota. As of 2006 the head office has the "Toyopet" Toyota logo and the words "Toyota Motor". The Toyota Technical Center, a 14-story building, and the original Honsha plant, Toyota's first plant engaging in mass production and formerly named the Koromo plant, are adjacent to one another in a location near the headquarters. Vinod Jacob from ''[[The Hindu]]'' described the main headquarters building as "modest".<ref name=Jacob/> In 2013 company head Akio Toyoda reported that it had difficulties retaining foreign employees at the headquarters due to the lack of amenities in Toyota.<ref>Greimel, Hans. "[http://www.autonews.com/apps/pbcs.dll/article?AID=/20130506/GLOBAL02/305069976/dreary-hq-city-is-a-handicap-in-global-glitz-plan#axzz2SrMwuTWn Dreary HQ city is a handicap in global glitz plan]." ([https://archive.today/20221008072028/http://www.autonews.com/apps/pbcs.dll/article?AID=/20130506/GLOBAL02/305069976/dreary-hq-city-is-a-handicap-in-global-glitz-plan Archive]) ''[[Automotive News]]''. May 6, 2013. Retrieved on May 9, 2013.</ref>

===Tertiary sector of the economy===
;Shopping center
*[[Æon Group|Æon Takahashi]] (GREEN CITY)
*[[Æon Group|Æon Toyota]]
*KiTARA
*Lut's
*Meglia
*T-FACE
<gallery mode="packed" style="text-align: center;" caption="" heights="110px" perrow="3">
File:Azakai-cho Toyota 2011.JPG|Azakai Town
File:Inabucho, Toyota, Aichi Prefecture 441-2513, Japan - panoramio (1).jpg|Inabu Town
File:JA Aichi Toyota, Nishi-machi Toyota 2018.jpg|[[Japan Agricultural Cooperatives|JA Aichi Toyota]]
File:Toyota 86 GT Red.jpg|[[Toyota 86]]
File:Aeon-Style-Toyota-1.jpg|Æon Toyota
File:Toyota-KiTARA-1.jpg|KiTARA
</gallery>

==Education==
[[File:Aichi Institute of Technology - panoramio (7).jpg|thumb|200px|[[Aichi Institute of Technology]]]]

===Colleges and universities===
*[[Aichi Gakusen University]]
*[[Aichi Institute of Technology]]
*[[Aichi Mizuho College]]
*[[Chukyo University]] – Toyota campus
*[[Japanese Red Cross Toyota College of Nursing]]
*[[Junior College of Toyota]] (1990–1999)
*[[Ohkagakuen University]] – Toyota campus
*[[Toyota National College of Technology]]

===Primary and secondary education===
Toyota has 78 public elementary schools and 27 public middle schools operated by the city government and 12 public high schools operated by the Aichi Prefectural Board of Education. There are also two private middle schools and eight private high schools. The prefecture also operates two special education schools for the disabled.

===International schools===
* [[Escola Alegria de Saber]] – [[Brazilian schools in Japan|Brazilian school]]<ref name=Brazilschools>"[http://www.brasemb.or.jp/portugues/community/school.php Escolas Brasileiras Homologadas no Japão]" ([https://web.archive.org/web/20151018083340/http://www.brasemb.or.jp/portugues/community/school.php Archive]). Embassy of Brazil in Tokyo. Retrieved on October 13, 2015.</ref>
* Escola NECTAR – Brazilian primary school<ref name=Brazilschools/>
* Escola Pintando o Sete – Brazilian primary school<ref name=Brazilschools/>

==Transportation==
Toyota, as the home city of [[Toyota Motor Corporation]] is well-served by expressways and national highways. However, it was the largest city in Japan which was not served by the [[Japanese National Railways]] (JNR) during its existence. The closest [[Shinkansen]] station is [[Mikawa-Anjō Station]] in the city of [[Anjō, Aichi|Anjō]], although the limited-stop ''[[Nozomi (Shinkansen)|Nozomi]]'' and ''[[Hikari (Shinkansen)|Hikari]]'' services do not stop there.

===Railways===
====Conventional lines====
;[[File:Meitetsu logomark 2.svg|20px]] [[Meitetsu]]
*[[Meitetsu Toyota Line|Toyota Line]]: {{STN|Umetsubo|x}} – {{STN|Kamitoyota|x}} – {{STN|Jōsui|x}}
*[[Meitetsu Mikawa Line|Mikawa Line]]: {{STN|Sanage|x}} – {{STN|Hiratobashi|x}} – {{STN|Koshido|x}} – {{STN|Umetsubo|x}} – {{STN|Toyotashi|x}} – {{STN|Uwagoromo|x}} – {{STN|Tsuchihashi|x}} – {{STN|Takemura|x}} – {{STN|Wakabayashi|x|Aichi}} – {{STN|Mikawa Yatsuhashi|x}}
;[[File:Aikan logomark.svg|20px]] [[Aichi Loop Line|Aichi Loop Railway]]
*[[Aichi Loop Line]]: {{STN|Mikawa-Kamigō|x}} – {{STN|Ekaku|x}} – {{STN|Suenohara|x}} – {{STN|Mikawa-Toyota|x}} – {{STN|Shin-Uwagoromo|x}} – {{STN|Shin-Toyota|x}} – {{STN|Aikan-Umetsubo|x}} – {{STN|Shigō|x}} – {{STN|Kaizu|x}} – {{STN|Homi|x}} –  {{STN|Sasabara|x}} – {{STN|Yakusa|x}}
;[[file:Aichi Rapid Transit logo.png|60px]] [[Linimo]]
*[[Linimo|Aichi High-Speed Transit]]: {{STN|Tōji-shiryōkan-minami|x}} – {{STN|Yakusa|x}}

===Roads===
====Expressways====
*[[Image:JP Expressway E1.svg|24px|link=|alt=E1]] [[Tōmei Expressway]]
*[[Image:JP Expressway E1A.svg|24px|link=|alt=E1A]] [[Shin-Tōmei Expressway]]
*[[Image:JP Expressway E1A.svg|24px|link=|alt=E1A]] [[Isewangan Expressway]]
*[[Image:JP Expressway C3.svg|24px|link=|alt=C3]] [[Tōkai-Kanjō Expressway]]

====Japan National Route====
*{{jct|country=JPN|Route|153}}
*{{jct|country=JPN|Route|155}}
*{{jct|country=JPN|Route|248}}
*{{jct|country=JPN|Route|301}}
*{{jct|country=JPN|Route|419}}
*{{jct|country=JPN|Route|420}}
*{{jct|country=JPN|Route|257}}
*{{jct|country=JPN|Route|473}}
<gallery>
File:Meitetsu Toyotashi Station ac.jpg|Toyotashi Station
File:Aichi_Kanjo_Tetudo_Line_Shin_Toyota_Sta.jpg|Shin-Toyota Station
File:TOYOTA_Interchange_on_TOMEI_EXPWY_and_SHIN-TOMEI_EXPWY.jpg|Toyota JCT
File:Shin-Tomei20180826B.jpg|Toyota-Higashi JCT
File:Route153 Umetsubo.JPG|[[Japan National Route 153|National Route 153]]
File:豊田スタジアム TOYOTA Stadium - panoramio.jpg|Toyota big bridge
File:TOYOTA_ARROWS_Bridge.jpg|Toyota Arrows Bridge
</gallery>

==Local attractions==
*[[Asuke, Aichi|Asuke area]] ([[Groups of Traditional Buildings]])
*Kampachi Gorge
*[[Kōrankei]] Gorge
*Kuragaike park
*The ruins of Matsudaira
*Obara shikizakura
*[[Toyota Automobile Museum]]
*Toyota Kaikan Exhibition Hall
*Toyota Kuragaike Commemorative Hall
*[[Toyota Municipal Museum of Art]]

<gallery mode="packed" style="text-align: center;" caption="" heights="110px" perrow="3">
File:Manrin-kouji Alley in 2019 ac.jpg|[[Asuke, Aichi|Asuke area]]
File:足助城高櫓.JPG|Asuke  Castle
File:Toyota museum 051.JPG|[[Toyota Municipal Museum of Art]]
File:Toyota Kaikan3.jpg|Toyota Kaikan Exhibition Hall
File:Kiichiro Toyoda's Residence 02, Ikeda-cho Toyota 2019.jpg|Toyota Kuragaike Commemorative Hall
File:Kampachi Gorge, Toyota-city 2018.jpg|Kampachi Gorge
File:Kōrankei.jpg|Kōrankei Gorge
File:Korankei3.jpg|Sanshu Asuke Yashiki
File:Korankei4.jpg|Kōjaku-ji
File:Senmishikizakura1.jpg|Obara shikizakura
File:Matsudairago1.jpg|The ruins of Matsudaira
File:Kuragaike Park 03, Toyota 2019.jpg|Kuragaike park
File:Koromo festival4.jpg|Koromo Festival
</gallery>

==Culture==
===Sports===
====Sports Team====
{| class="sortable wikitable" style="text-align:center;font-size:85%;"
|-
! Sex
! Name
! competition
! League
! Home
! Sponsor
! Since
|-
| Men
! [[Toyota Verblitz]]
| [[Rugby union|Rugby]]
| [[Japan Rugby League One]]
| [[Toyota Sports Center]]
| [[Toyota Motor Corporation]]
| 1941
|-
| Men
! Toyota Sunhawks
| [[Volleyball]]
| [[V.League (Japan)|V.League]] (V2)
| [[Toyota Sports Center]]
| [[Toyota Motor Corporation]]
| 1946
|-
| Men
! Toyota Baseball club
| [[Baseball]]
| Japan Amateur Baseball Association (JABA)
| [[Toyota Sports Center]]
| [[Toyota Motor Corporation]]
| 1947
|-
| Women
! [[Toyota|Toyota Red Terriers]]
| [[Softball]]
| Japan Softball League (JSL)
| [[Toyota Sports Center]]
| [[Toyota Motor Corporation]]
| 1948
|-
| Women
! [[Toyota|Toyota Sunpiena]]
| [[Volleyball]]
| [[V.League (Japan)|V.League]] (V2)
| [[Toyota Sports Center]]
| [[Toyota Motor Corporation]]
| 1950
|-
| Men
! Toyota Griffins
| [[Handball]]
| [[Japan Handball League]] (JHL・Challenge Division)
| [[Toyota Sports Center]]
| [[Toyota Motor Corporation]]
| 1970
|-
| Men
! [[X-League (Japan)|Kirix Toyota Bull Fighters]]
| [[American football]]
| [[X-League (Japan)|X-League]]
| [[Toyota Athletic Stadium]]
| Kirix Group
| 1974
|-
| Men
! [[Toyota Tsusho|Toyota Tsusho BLUE WING]]
| [[Rugby union|Rugby]]
| TOP West League
| [[Fujioka, Aichi|Fujioka Ground]]
| [[Toyota Tsusho]]
| 1980
|-
| Men
! [[Nagoya Grampus]]
| [[Soccer]]
| [[J.League]] ([[J1 League|J1]])
| [[Toyota Stadium (Japan)|Toyota Stadium]]
| [[Nagoya Grampus|Nagoya Grampus Eight Inc.]]
| 1991
|}

====Sports Facilities====
*[[Sky Hall Toyota]]
*[[Toyota Athletic Stadium]]
*[[Toyota Sports Center]]
*[[Toyota Stadium (Japan)|Toyota Stadium]]

==Notable people from Toyota==
{{Unreferenced section|date=August 2016}}
*[[Miliyah Kato]], singer
*[[Yoshio Markino]], artist, author
*[[Masami Mitsuoka]], singer
*[[Masato Naito]], Olympic hurdler
*[[Etsuko Nishio]], singer, actress
*[[Suzuki Shōsan]], Edo period Zen prelate
*[[Tadashi Sugiura]], professional baseball player
*[[Katsuaki Watanabe]], former president of Toyota Motors

==References==
{{Reflist|30em}}

==External links==
{{Portal|Japan}}
{{Commons category}}
* {{official website|http://www.city.toyota.aichi.jp}} {{in lang|ja}}

{{Aichi}}
{{Metropolitan cities of Japan}}
{{Most populous cities in Japan}}

{{Authority control}}

[[Category:Toyota, Aichi| ]]
[[Category:Cities in Aichi Prefecture]]

title: Toyota 豊田市

Country: Japan

Region: Chūbu (Tōkai)

Prefecture: Aichi

title: Government

• Mayor: Toshihiko Ota

title: Area

title: Population (October 1, 2019)

Time zone: UTC+9 (Japan Standard Time)

Climate: Cfa

Website: Official website

Population (October 1, 2019): Symbols

Flower: Sunflower

Tree: Zelkova serrata


text:
# Переменная типа
Переменная типа (ти́повая переменная) в языках программирования и теории типов — переменная, которая может принимать значение из множества типов данных.
Ти́повая переменная используется в определении алгебраического типа данных подобно тому, как используется параметр в определении функции, но используется для передачи типа данных без передачи самих данных. В качестве идентификаторов ти́повых переменных в теории типов традиционно используются буквы греческого алфавита (хотя многие языки программирования используют латиницу и допускают и более длинные именования).

## Пример
В следующем определении полиморфного типа «список» на языке Standard ML, идентификатор 'a (читается «альфа») является переменной типа:
```
datatype

'a

list

=

nil

|

::

of

'a

*

'a

list

```

При использовании этого полиморфного типа, в ти́повую переменную подставляется конкретный тип, так что в программе может быть сформировано множество мономорфных типов: string list, int list, int list list и так далее. При такой подстановке, вместо каждого упоминания переменной типа подставляется один и тот же тип. Полученная информация о типах используется для верификации и оптимизации программы, после чего обычно стирается, так что один и тот же целевой код обрабатывает объекты изначально разных типов (но существуют и исключения из этого правила, в частности, в MLton).
Если полиморфный тип параметризован несколькими переменными типа, то подставляемые в них типы могут быть как разными, так и идентичными, но правило подстановки соблюдается. Например, если такой тип:
```
datatype

(
'a
,
'b
)

t

=

Single

of

'a

|

Double

of

'a

*

'a

|

Pair

of

'a

*

'b

```

инстанцировать следующим образом:
```
type

t_ir

=

(
int
,

real
)

t

```

то Single(4), Double(4,5) и Pair(4,5.0) будут допустимыми значениями типа t_ir, а попытка построить значение Single(5.0) приведёт к ошибке типизации, поскольку параметр 'a получил значение «int».

## Связывание и квантификация
Область действия всякой ти́повой переменной привязывается к определённому контексту. В следующем примере идентификатор 'a используется в двух сигнатурах независимо, то есть не означает требование равенства фактически подставляемых типов между определениями:
```
val

foo
:

'a

->

'a

val

bar
:

'a

->

'a

```

Это становится наглядным при использовании явного связывания (explicit scoping или explicit bounding) ти́повой переменной:
```
val

foo
:

[
'a
]

'a

->

'a

val

bar
:

[
'a
]

'a

->

'a

```

Связывание ограничивает область действия данной переменной типа.
В классических диалектах ML явное связывание ти́повых переменных является необязательной возможностью и большинством реализаций не поддерживается за ненадобностью — связывание в них осуществляется неявно при выведении типов, что становится возможным за счёт ограничений ранних версий системы Хиндли — Милнера. В полной системе F это объявление записывается как {\displaystyle \Lambda \alpha .~\lambda x^{\alpha }.~x}. Такая запись называется пренексной нормальной формой. Заглавная {\displaystyle \Lambda } в этой записи означает функцию слоя типов (type-level function), параметром которой и является переменная типа. После подстановки в эту переменную конкретного типа, эта функция возвращает мономорфную функцию слоя значений (value-level function). Пренексом называется вынесенное в качестве префикса к сигнатуре типа явное связывание переменной типа. Ранние версии системы Хиндли — Милнера разрешают только пренексную форму, то есть требуют, чтобы инстанцирование ти́повой переменной определённым значением было произведено до необходимости обращения к функции. Это ограничение называется пренексным полиморфизмом — оно не только существенно упрощает механизм проверки согласования типов, но и делает возможным выведение всех или почти всех (в зависимости от диалекта) типов в программе.
Простейшее связывание ти́повых переменных называется их квантификацией. Выделяются два случая:
- действие переменной типа распространяется на всё определение типа: ['a, 'b] 'a -> 'b -> 'a, математически такой тип записывается через квантор всеобщности — {\displaystyle \forall a.~\forall b.~a\rightarrow b\rightarrow a} — поэтому такая переменная типа называется «универсально квантифицированной», а весь тип — «универсально полиморфным»;
- действие переменной типа распространяется только на часть определения типа: ['a] 'a -> (['b] 'b -> 'a), математически такой тип записывается через квантор существования — {\displaystyle \forall a.~\exists b.~a\rightarrow b\rightarrow a} — поэтому такая переменная называется «экзистенциально квантифицированной», а весь тип — «экзистенциальным».

Далеко не во всех случаях «превращение» универсально полиморфного типа в экзистенциальный даёт применимый на практике тип или заметные отличия от универсального полиморфизма, но в определённых случаях использование экзистенциальных типов поднимает параметрический полиморфизм на первоклассный уровень, т.е. позволяет передавать полиморфные функции без связывания в качестве параметров другим функциям (см. полиморфизм первого класса). Классическим примером является реализация гетерогенного списка (см. викиучебник). Явное аннотирование типов в этом случае становится обязательным, т.к. выведение типов для полиморфизма выше ранга 2 алгоритмически неразрешимо.
На практике, универсально полиморфные типы дают обобщённость типа данных, а экзистенциальные — абстрактность типа данных.
В языке Haskell различают несколько режимов (доступных в виде расширений языка): режим Rank2Types разрешает лишь некоторые формы экзистенциальных типов, открывающие полиморфизм не выше 2-го ранга, для которого выведение типов ещё разрешимо; режим RankNTypes разрешает перемещать универсальный квантор (forall a) внутрь функциональных типов, входящих в состав более сложных сигнатур, режим ImpredicativeTypes разрешает произвольные экзистенциальные типы.
OCaml реализует поддержку экзистенциальной квантификации посредством решения, названного «локально-абстрактными типами» (locally abstract types).
В спецификации Standard ML для некоторых встроенных операций определена особая квантификация. Её синтаксис не регламентирован и различается в реализациях языка (чаще всего просто скрывается). Например, сигнатура встроенной операции сложения может упрощённо выглядеть примерно следующим образом:
```
val

+

:

[
int
,

word
,

real
]

'a

*

'a

->

'a

```

Эта семантика реализует примитивную форму ad-hoc-полиморфизма — объединение нескольких физически различных операций сложения под единым идентификатором «+». Разработчики OCaml отказались от такого решения, полностью убрав ad-hoc-полиморфизм из языка (в более поздних версиях появились обобщённые алгебраические типы данных).
В конце 1980-х появилось расширение Хиндли — Милнера, предоставляющее возможность ограничивать по необходимости диапазон значений для всякой ти́повой переменной во вновь определяемых типах — классы типов. Класс типов строже ограничивает допустимые контексты типизации, разрешая инстанцирование ти́повой переменной лишь типами, принадлежащими явно указанному классу.
Впервые это расширение было реализовано в основе языка Haskell, например, операция сравнения на равенство имеет в нём следующую сигнатуру:
```
(
==
)

::

(
Eq

a
)

=>

a

->

a

->

Bool

```

Проект языка следующего поколения — successor ML — отказывается от необходимости выведения типов, опираясь на явное (манифестное) аннотирование типов (в том числе явное связывание переменных типа), что обеспечивает непосредственную поддержку полной системы F с полиморфизмом первого класса и рядом расширений, в том числе иерархии подтипов и экзистенциальных типов.

## Специальные переменные типа
Основным классом переменных типа, используемым во всех языках семейства ML, являются аппликативные переменные типа, могут принимать значения из множества всех допустимых в конкретном языке типов. В классических диалектах они синтаксически обозначаются как «'a» (цифробуквенный идентификатор, всегда начинающийся с одного апострофа); в Haskell как «a» (цифробуквенный идентификатор, всегда начинающийся со строчной буквы).
Кроме этого, на протяжении истории развития ML выделялись специальные подклассы переменных типа.
Переменные типа, допускающего проверку на равенство (или переменные сравниваемого типа, equality type variables) — могут принимать значения из множества всех типов, допускающих проверку на равенство (англ. equality types). Их использование разрешает применение операции сравнения на равенство к объектам полиморфных типов. Обозначаются как «''a» (цифробуквенный идентификатор, всегда начинающийся с двух апострофов). Интересно, что одной из первоначальных целей, ради которых были разработаны классы типов, было именно обобщение таких ти́повых переменных из Standard ML. Они неоднократно подвергалась критике из-за существенного (и спорно оправданного) усложнения определения языка и реализации компиляторов (половина страниц Определения содержат ту или иную поправку на них). Сложные абстрактные типы данных в принципе не целесообразно проверять на равенство, так как такие проверки могут требовать существенных затрат времени. Поэтому из более поздних языков семейства ML поддержка переменных типа, допускающего проверку на равенство, была исключена. В Haskell вместо них используется класс типов Eq a.
Императивные переменные типа (imperative type variables) обеспечивали ситуативное решение проблемы типобезопасности, связанной с наличием побочных эффектов в языке с параметрическим полиморфизмом. Этой проблемы не возникает в чистых языках (Haskell, Clean), но для нечистых языков (Standard ML, OCaml) полиморфизм ссылок представляет угрозу ошибок типизации. Императивные переменные типа входили в Определение SML’90, но перестали иметь собственный смысл после того как было придумано «ограничение значениями» (value restriction), ставшее частью пересмотренного определения SML’97. Синтаксическая поддержка императивных переменных типа в SML’97 была сохранена для обратной совместимости с написанным ранее кодом, но современные реализации трактуют их идентично аппликативным. Обозначаются «'_a» (цифробуквенный идентификатор, всегда начинающийся с апострофа и символа подчёркивания).
Слабые переменные типа (weak type variables) использовались в компиляторе SML/NJ в качестве альтернативы императивным переменным типа, предоставляя существенно большие возможности (точнее, меньшие ограничения). Обозначаются «'1a», «'2a» и так далее (цифробуквенный идентификатор, всегда начинающийся с апострофа и цифры). Цифра, непосредственно идущая за апострофом, показывала градацию «слабости» переменной типа. Как и императивные переменные типа, ныне трактуются идентично аппликативным.

wikiname: ruwiki

title: Переменная типа

in_language: ru

wikitext:
'''Переменная типа''' (''ти́повая переменная'') в [[язык программирования|языках программирования]] и [[Теория типов|теории типов]] — [[переменная (математика)|переменная]], которая может принимать значение из множества [[тип данных|типов данных]].

Ти́повая переменная используется в определении [[Алгебраический тип данных|алгебраического типа данных]] подобно тому, как используется [[Параметр (программирование)|параметр]] в определении [[Функция (программирование)|функции]], но используется для передачи типа данных без передачи самих данных. В качестве идентификаторов ти́повых переменных в теории типов традиционно используются буквы греческого алфавита (хотя многие [[язык программирования|языки программирования]] используют латиницу и допускают и более длинные именования).

== Пример ==
В следующем определении [[полиморфизм типов|полиморфного типа]] «[[список (программирование)|список]]» на языке {{nobr|[[Standard ML]]}}, идентификатор 'a (читается «альфа») является переменной типа{{#tag:ref|Здесь для явного связывания ({{lang-en2|explicit binding}}) ти́повой переменной используется текущий синтаксис, принятый в проекте {{nobr|successor ML}}{{sfn|ML2000|1999}}: ['a]. Из-за того, что в [[Haskell]] этот синтаксис был назначен в качестве [[синтаксический сахар|синтаксического сахара]] над типом [[список (программирование)|List]], для объявления ти́повых переменных в нём было введено [[ключевое слово]] forall.}}:
<source lang=sml>
datatype 'a list = nil | :: of 'a * 'a list
</source>
При использовании этого [[полиморфизм типов|полиморфного типа]], в ти́повую переменную подставляется конкретный тип, так что в программе может быть сформировано множество мономорфных типов: string list, int list, int list list и так далее. При такой подстановке, вместо каждого упоминания переменной типа подставляется один и тот же тип. Полученная информация о типах используется для [[типобезопасность|верификации]] и [[оптимизирующий компилятор|оптимизации]] программы, после чего обычно стирается, так что один и тот же целевой код обрабатывает объекты изначально разных типов (но существуют и исключения из этого правила, в частности, в [[MLton]]).

Если полиморфный тип параметризован несколькими переменными типа, то подставляемые в них типы могут быть как разными, так и идентичными, но правило подстановки соблюдается. Например, если такой тип:
<source lang=sml>
datatype ('a,'b) t = Single of 'a | Double of 'a * 'a | Pair of 'a * 'b
</source>
инстанцировать следующим образом:
<source lang=sml>
type t_ir = (int, real) t
</source>
то Single(4), Double(4,5) и Pair(4,5.0) будут допустимыми значениями типа t_ir, а попытка построить значение Single(5.0) приведёт к [[ошибка типизации|ошибке типизации]], поскольку параметр 'a получил значение «int».

== Связывание и квантификация ==
[[Область видимости|Область действия]] всякой ти́повой переменной привязывается к определённому контексту{{sfn|MacQueen - TypeChecking}}{{sfn|MLton - Scoping}}. В следующем примере идентификатор 'a используется в двух сигнатурах независимо, то есть не означает требование равенства фактически подставляемых типов между определениями:
<source lang=sml>
val foo: 'a -> 'a
val bar: 'a -> 'a
</source>
Это становится наглядным при использовании явного связывания ({{lang-en2|explicit scoping}} или {{lang-en2|explicit bounding}}) ти́повой переменной:
<source lang=sml>
val foo: ['a] 'a -> 'a
val bar: ['a] 'a -> 'a
</source>
Связывание ограничивает область действия данной переменной типа.

В классических диалектах ML явное связывание ти́повых переменных является необязательной возможностью и большинством реализаций не поддерживается за ненадобностью — связывание в них осуществляется ''неявно'' при [[выведение типов|выведении типов]], что становится возможным за счёт ограничений ранних версий [[Система типов Хиндли — Милнера|системы Хиндли — Милнера]]. В полной [[Система F|системе F]] это объявление записывается как <math>\Lambda\alpha.~\lambda x^\alpha.~x</math>. Такая запись называется {{iw|Пренексная нормальная форма|пренексной нормальной формой|en|Prenex normal form}}. Заглавная <math>\Lambda</math> в этой записи означает функцию слоя типов ({{lang-en2|type-level function}}), параметром которой и является переменная типа. После подстановки в эту переменную конкретного типа, эта функция возвращает мономорфную функцию слоя значений ({{lang-en2|value-level function}}). Пренексом называется вынесенное в качестве префикса к сигнатуре типа явное связывание переменной типа. Ранние версии системы Хиндли — Милнера разрешают только пренексную форму, то есть требуют, чтобы инстанцирование ти́повой переменной определённым значением было произведено до необходимости обращения к функции. Это ограничение называется [[параметрический полиморфизм#Пренексный полиморфизм|пренексным полиморфизмом]] — оно не только существенно упрощает механизм [[проверка согласования типов|проверки согласования типов]], но и делает возможным [[выведение типов|выведение]] всех или почти всех (в зависимости от диалекта) типов в программе.

Простейшее связывание ти́повых переменных называется их [[квантификация|квантификацией]]. Выделяются два случая:
* действие переменной типа распространяется на всё определение типа: ['a, 'b] 'a -> 'b -> 'a, математически такой тип записывается через [[квантор всеобщности]] — <math>\forall a. ~\forall b. ~a \rightarrow b \rightarrow a</math> — поэтому такая переменная типа называется «универсально квантифицированной», а весь тип — «универсально полиморфным»;
* действие переменной типа распространяется только на часть определения типа: ['a] 'a -> (['b] 'b -> 'a), математически такой тип записывается через [[квантор существования]] — <math>\forall a. ~\exists b. ~a \rightarrow b \rightarrow a </math> — поэтому такая переменная называется «экзистенциально квантифицированной», а весь тип — «экзистенциальным».

Далеко не во всех случаях «превращение» универсально полиморфного типа в экзистенциальный даёт применимый на практике тип или заметные отличия от универсального полиморфизма, но в определённых случаях использование [[экзистенциальный тип|экзистенциальных типов]] поднимает [[параметрический полиморфизм]] на [[объект первого класса|первоклассный]] уровень, т.е. позволяет передавать полиморфные функции без связывания в качестве параметров другим функциям (см. [[полиморфизм первого класса]]). Классическим примером является реализация гетерогенного списка (см. викиучебник). [[Явная типизация|Явное аннотирование типов]] в этом случае становится обязательным, т.к. [[выведение типов]] для полиморфизма выше ранга 2 [[алгоритмическая разрешимость|алгоритмически неразрешимо]]{{sfn|haskell_existentials}}.

На практике, универсально полиморфные типы дают [[полиморфизм типов|обобщённость типа данных]], а экзистенциальные — [[абстрактный тип данных|абстрактность типа данных]]{{sfn|Cardelli, Wegner|1985}}.

В языке Haskell различают несколько режимов (доступных в виде расширений языка): режим <tt>Rank2Types</tt> разрешает лишь некоторые формы экзистенциальных типов, открывающие полиморфизм не выше 2-го ранга, для которого [[выведение типов]] ещё разрешимо; режим <tt>RankNTypes</tt> разрешает перемещать [[Квантор всеобщности|универсальный квантор]] (forall a) внутрь [[функциональный тип|функциональных типов]], входящих в состав более сложных сигнатур{{sfn|haskell_rankNtypes}}, режим <tt>ImpredicativeTypes</tt> разрешает произвольные экзистенциальные типы{{sfn|haskell_impredicative_types}}.

[[OCaml]] реализует поддержку экзистенциальной квантификации посредством решения, названного «локально-абстрактными типами» ({{lang-en2|locally abstract types}})<ref>[http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec228 OCaml extenstions. 7.13 Locally abstract types]</ref>.

В спецификации [[Standard ML]] для некоторых встроенных операций определена особая квантификация. Её синтаксис не регламентирован и различается в реализациях языка (чаще всего просто скрывается). Например, сигнатура встроенной операции сложения может упрощённо выглядеть примерно следующим образом:
<source lang=sml>
val + : [int, word, real] 'a * 'a -> 'a
</source>
Эта семантика реализует примитивную форму [[ad-hoc-полиморфизм]]а — объединение нескольких физически различных операций сложения под единым идентификатором «+». Разработчики [[OCaml]] отказались от такого решения, полностью убрав ad-hoc-полиморфизм из языка (в более поздних версиях появились [[обобщённый алгебраический тип данных|обобщённые алгебраические типы данных]]).

В конце [[1980-е годы|1980-х]] появилось расширение [[Система типов Хиндли — Милнера|Хиндли — Милнера]], предоставляющее возможность ограничивать по необходимости диапазон значений для всякой ти́повой переменной во вновь определяемых типах — [[Класс типов|классы типов]]. Класс типов строже ограничивает допустимые [[Система F#Контексты типизации и утверждение типизации|контексты типизации]], разрешая инстанцирование ти́повой переменной лишь типами, принадлежащими явно указанному классу.

Впервые это расширение было реализовано в основе языка [[Haskell]], например, операция [[Равенство (математика)|сравнения на равенство]] имеет в нём следующую {{iw|Сигнатура типа|сигнатуру|en|Type signature}}:
<source lang=haskell>
(==) :: (Eq a) => a -> a -> Bool
</source>

Проект языка следующего поколения — successor ML{{sfn|ML2000|1999}} — отказывается от необходимости [[выведение типов|выведения типов]], опираясь на [[Явная типизация|явное (манифестное) аннотирование типов]] (в том числе явное связывание переменных типа), что обеспечивает непосредственную поддержку полной системы F с [[полиморфизм первого класса|полиморфизмом первого класса]] и рядом расширений, в том числе {{iw|Выделение подтипов данных|иерархии подтипов|en|Subtyping}} и [[экзистенциальный тип|экзистенциальных типов]]{{sfn|ML2000|1999}}.

== Специальные переменные типа ==
Основным классом переменных типа, используемым во всех языках семейства [[ML]], являются аппликативные переменные типа, могут принимать значения из множества всех допустимых в конкретном языке типов. В классических диалектах они синтаксически обозначаются как «'a» (цифробуквенный идентификатор, всегда начинающийся с одного [[апостроф]]а); в [[Haskell]] как «a» (цифробуквенный идентификатор, всегда начинающийся со строчной буквы).

Кроме этого, на протяжении истории развития [[ML]] выделялись специальные подклассы переменных типа.

Переменные типа, допускающего проверку на равенство (или переменные сравниваемого типа, {{lang-en2|equality type variables}}) — могут принимать значения из множества всех [[Тип, допускающий проверку на равенство|типов, допускающих проверку на равенство]] ({{lang-en|equality types}}). Их использование разрешает применение операции [[Равенство (математика)|сравнения на равенство]] к объектам полиморфных типов. Обозначаются как «<nowiki>''</nowiki>a» (цифробуквенный идентификатор, всегда начинающийся с двух [[апостроф]]ов). Интересно, что одной из первоначальных целей, ради которых были разработаны [[Класс типов|классы типов]], было именно обобщение таких ти́повых переменных из {{nobr|[[Standard ML]]}}<ref>{{статья
| заглавие = How to make ad-hoc polymorphism less ad hoc
| автор = Philip Wadler, Stephen Blott.
| ссылка = http://homepages.inf.ed.ac.uk/wadler/papers/class/class.ps
| год = 1988
| archivedate = 2016-03-11
| archiveurl = https://web.archive.org/web/20160311163323/http://homepages.inf.ed.ac.uk/wadler/papers/class/class.ps
}}</ref>. Они неоднократно подвергалась критике из-за существенного (и спорно оправданного) усложнения определения языка и реализации компиляторов (половина страниц Определения содержат ту или иную поправку на них)<ref>{{статья
|заглавие = A Critique of Standard ML
|автор = Andrew W. Appel
|издательство = Princeton University, revised version of CS-TR-364-92
|год = 1992
|ссылка = http://www.cs.princeton.edu/research/techreps/TR-364-92
|ref = Appel - A Critique of Standard ML
|archivedate = 2016-03-05
|archiveurl = https://web.archive.org/web/20160305071636/http://www.cs.princeton.edu/research/techreps/TR-364-92
}}</ref>. Сложные абстрактные типы данных в принципе не целесообразно проверять на равенство, так как такие проверки могут требовать существенных затрат времени. Поэтому из более поздних языков семейства [[ML]] поддержка переменных типа, допускающего проверку на равенство, была исключена. В Haskell вместо них используется [[класс типов]] Eq a.

Императивные переменные типа ({{lang-en2|imperative type variables}}) обеспечивали ситуативное решение проблемы [[типобезопасность|типобезопасности]], связанной с наличием [[побочный эффект (программирование)|побочных эффектов]] в языке с [[параметрический полиморфизм|параметрическим полиморфизмом]]. Этой проблемы не возникает в чистых языках ([[Haskell]], [[Clean]]), но для нечистых языков ([[Standard ML]], [[OCaml]]) полиморфизм [[ссылка (программирование)|ссылок]] представляет угрозу [[ошибка типизации|ошибок типизации]]{{sfn|MacQueen - TypeChecking}}{{sfn|MLton - Scoping}}. Императивные переменные типа входили в Определение SML’90, но перестали иметь собственный смысл после того как было придумано «ограничение значениями» ({{lang-en2|value restriction}}), ставшее частью пересмотренного определения SML’97. Синтаксическая поддержка императивных переменных типа в SML’97 была сохранена для обратной совместимости с написанным ранее кодом, но современные реализации трактуют их идентично аппликативным. Обозначаются «'_a» (цифробуквенный идентификатор, всегда начинающийся с апострофа и символа подчёркивания){{sfn|MacQueen - TypeChecking}}.

Слабые переменные типа ({{lang-en2|weak type variables}}) использовались в компиляторе {{iw|SML/NJ}} в качестве альтернативы императивным переменным типа, предоставляя существенно большие возможности (точнее, меньшие ограничения). Обозначаются «'1a», «'2a» и так далее (цифробуквенный идентификатор, всегда начинающийся с [[апостроф]]а и цифры). Цифра, непосредственно идущая за апострофом, показывала градацию «слабости» переменной типа. Как и императивные переменные типа, ныне трактуются идентично аппликативным.{{sfn|MacQueen - TypeChecking}}

== Примечания ==
{{примечания}}

== Литература ==
* {{статья
| автор = Luca Cardelli, Peter Wegner
| заглавие = On Understanding Types, Data Abstraction, and Polymorphism
| издательство = [[ACM Computing Surveys]]
| год = 1985
| ссылка = http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf
| страницы = 471—523
| issn = 0360-0300
| ref = Cardelli, Wegner
}}
* {{статья
| автор = Dave MacQueen.
| заглавие = SML'97 Conversion Guide. 1.1. Types and Type Checking
| издательство =
| год =
| ссылка = http://www.smlnj.org/doc/Conversion/types.html
| страницы =
| issn =
| ref = MacQueen - TypeChecking
}}

== Ссылки ==
* {{Cite web
| url = https://wiki.haskell.org/Existential_type
| title = Haskell-Wiki: Existential types
| ref = haskell_existentials
}}
* {{Cite web
| url = https://wiki.haskell.org/Rank-N_types
| title = Haskell-Wiki: Rank-N types
| ref = haskell_rankNtypes
}}
* {{Cite web
| url = https://wiki.haskell.org/Impredicative_types
| title = Haskell-Wiki: Impredicative types
| ref = haskell_impredicative_types
}}
* {{Cite web
| url = http://www.mlton.org/TypeVariableScope
| title = Scoping type variables in Standard ML
| ref = MLton - Scoping
}}
* {{статья
| заглавие = Principles and a Preliminary Design for ML2000
| автор = The ML2000 Working Group.
| ссылка = http://flint.cs.yale.edu/flint/publications/ml2000.pdf
| год = 1999
| ref = ML2000
}}

{{Типы данных}}

[[Категория:Теория типов]]
[[Категория:Типы данных]]
[[Категория:Функциональное программирование]]