hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Взятие Сомюра
Взятие Сомюра — захват французскими королевскими войсками Людовика XIII гугенотского оплота Сомюр в мае 1621 года в ходе гугенотских восстаний.

Хотя гугенотский Сомюр был верен королю, Людовик XIII, тем не менее, пожелал подтвердить свой контроль над ним. Губернатор города Филипп Дюплесси-Морне был обманом арестован, а город занят королевскими войсками.

Затем Людовик XIII продолжил свою кампанию на юге против гугенотов и отправился осаждать протестантский оплот Сен-Жан-д’Анжели, занятый братом мятежного Анри де Рогана Бенджаменом де Роганом, герцогом де Субиз. Это привело к месячной осаде Сен-Жан-д’Анжели и череде других осад на юге Франции. 24 июня 1621 года кампания Людовика XIII зашла в тупик, что привело к миру в Монпелье в 1622 году, который временно подтвердил права гугенотов во Франции.

Роган, Бенжамен де
Бенжамен де Роган, герцог де Фронтене, сеньор де Субиз, известный как герцог де Субиз (1580 или 1583 — 9 октября 1642, Лондон) — французский аристократ из дома де Роган, младший брат герцога Анри II де Рогана, совместно с ним возглавлявший французских протестантов — гугенотов во время их восстания против притеснений со стороны  главного министра короля Людовика XIII,  кардинала Ришельё.
Кудриха
Кудриха — река в России, протекает по Усть-Калманскому, Усть-Пристанскому и Петропавловскому районам Алтайского края. Устье реки находится в 116 км по левому берегу реки Ануй. Длина реки составляет 42 км. Приток — Кудренок.

Петропавловский район (Алтайский край)
Петропа́вловский райо́н — административно-территориальное образование (сельский район) и муниципальное образование (муниципальный район) в  Алтайском крае России.

Административный центр — село Петропавловское, расположенное в 144 км от Бийска.
Irish Masters 1985
Irish Masters 1985 (также известен как Benson & Hedges Irish Masters 1985 — по названию спонсора) — профессиональный нерейтинговый (пригласительный) снукерный турнир, проходивший с 26 по 31 марта 1985 года (сезон 1984/85) в Килдэре (Ирландия). Победителем турнира стал Джимми Уайт, обыгравший в финале Алекса Хиггинса со счётом 9:5.

Килдэр (графство)
Килдэ́р (ирл. Contae Chill Dara; англ. Kildare) — графство на востоке Ирландии. Входит в состав провинции Ленстер на территории Республики Ирландии. Административный центр и крупнейший город — Нейс. Население 210 312 человек (4-е место среди графств; данные 2011 года).
Список персонажей Cross Game
Cross Game — спортивная манга в жанре романтической комедии, написанная и проиллюстрированная Мицуру Адати. Публикацией манги занималась компания Shogakukan. В 2009 году манга получила премию манги Shogakukan в номинации «сёнэн-манга». Манга была лицензирована во Франции, в Италии, в Южной Корее, в Гонконге, на Тайване, в Индонезии и в Таиланде. На основе манги было создано аниме, показанное по каналу TV Tokyo.

Главными героями произведения являются учащиеся средней школы и игроки в бейсбол Ко Китамура и Аоба Цукисима, которых связывают отношения Ко с погибшей сестрой Аобы Вакабой. Они оба стремятся осуществить последнюю мечту Вакабы — принять участие в национальном турнире на стадионе Косиэн.

Shogakukan
Shogakukan (яп. 小学館 Сё:гакукан) — японская корпорация, издающая печатную литературу, мангу, различные DVD-диски, а также другие виды печатной и информационной продукции.

«Shogakukan» основала фирму «Shueisha», которая в свою очередь основала компанию «Hakusensha». Коллективное название этих трёх организаций — «Hitotsubashi Group».
Men of Honor
Men Of Honor — второй студийный альбом американской грув-метал-супергруппы Adrenaline Mob. Выпущен 18 февраля 2014 года под лейблом Century Media Records. Единственный альбом с барабанщиком Эй Джей Перо, который заменил Майка Портного. Музыкальные треки были показаны на стримах через SoundCloud.

Согласно Майку Орландо, название было предложено его отцом. «Мы думали о названии и он сказал, „Почему бы его не назвать 'Uomini D’Onore' [перевод Men Of Honor]?“. Я чувствовал что так и будет. Нам сложно как братьям. Мы — музыкальная банда. Должен быть сильный посыл. Неважно что изменится, мы — Men Of Honor, мы будем чествовать пока не умрем».

Портной, Майк
Майкл Стивен Портной (англ. Michael Stephen Portnoy; род. 20 апреля 1967, Лонг-Бич, Нью-Йорк, США) — американский барабанщик-виртуоз, сооснователь и участник прог-метал-группы Dream Theater. Считается[кем?] одним из лучших барабанщиков современности. Неоднократно побеждал в номинации «Лучший ударник года». На втором месте после Нила Пирта в списке самых молодых барабанщиков, внесённых в «Зал почёта» журнала Modern Drummer (в 37 лет). Со-продюсировал последние пять альбомов Dream Theater вместе с Джоном Петруччи, начиная с Metropolis Pt. 2: Scenes from a Memory. В списке 50 лучших барабанщиков рока по версии журнала Classic Rock занимает 17 место. Американский онлайн-журнал Loudwire поместил Портного на 7-е место в списке «66 лучших метал/хард-рок-барабанщиков всех времён».
Красный (Московская область)
Красный — посёлок сельского типа в Букарёвском сельском поселении Истринского района Московской области. Население — 172 чел. (2010). Посёлок был основан между 1926 и 1937 годами. Расположен в 14 км от райцентра Истра и в 1 км севернее железнодорожной станции Холщёвики. С Истрой связан автобусным сообщением (автобус № 46).

Ранее посёлок Красный и находящаяся в нём бывшая усадьба Квашниных-Самариных носила наименование «Брыково». В посёлке находится храм Богоявления Господня, 1754 года постройки (известен с 1697 года), полуразрушенный в 1970-х и заново восстанавливаемый с 1996 года, в котором ныне находится православный духовно-просветительский центр. В парке средней школы — братская могила советских воинов, погибших в годы Великой Отечественной войны 1941—1945 гг.

Истра (город)
И́стра — город (с 1781) в Московской области России, центр городского округа Истра.

С 1781 года город носил имя Воскресе́нск, после, в 1929, был переименован в Истру, во избежание путаницы с другим Воскресенском на юго-востоке Подмосковья. Населённый пункт воинской доблести.

Население — ↘34 971 чел.(2024).

Город расположен на реке Истре, в 40 км к северо-западу от Москвы, в живописной местности южного склона Клинско-Дмитровской гряды. Железнодорожная станция Новоиерусалимская и платформа Истра на линии Москва — Рига.

Городской праздник — День города Истры — отмечается 12 июня.
Лужани-Нови
Лужани-Нови (серб. Лужани Нови, хорв. Lužani Novi) — населенный пункт (деревня) в общине Дервента, который принадлежит энтитету Республике Сербской, Босния и Герцеговина. По результатам югославской переписи населения 1991 года в Лужани-Нових проживало 561 человек.

Хорваты
Хорва́ты (хорв. Hrvati) — южнославянский народ, представители которого проживают в современной Хорватии, а также Боснии и Герцеговине, Словении, Сербии, США, Германии, Австрии, Аргентине, Австралии, Венгрии, Италии и других государствах.

Современные хорваты — это потомки белых хорватов и красных хорватов.

Одно из восточнославянских племён, проживавших в восточной Галиции (ныне Украина), называлось белые хорваты, а племена, проживавшие в Моравии и Словакии — чёрные хорваты. Общая численность 5,53 — 6,9 млн, в том числе в Хорватии — 4 млн, Боснии и Герцеговине — 650 тыс. Основная религия — католицизм. Язык — хорватский.
SQL/OLB
SQL/OLB, или Object Language Bindings (объектное языковое связывание) — расширение стандарта SQL, закреплённое в документе ISO/IEC 9075-10:2003. SQL/OLB определяет синтаксис и семантику SQLJ, являющегося подмножеством SQL, встроенным в Java. Стандарт также описывает механизмы обеспечения бинарной переносимости приложений, написанных с использованием языка SQLJ, и определяет различные Java-пакеты и их внутренние классы.

Java
Java — строго типизированный объектно-ориентированный язык программирования общего назначения, разработанный компанией Sun Microsystems (в последующем приобретённой компанией Oracle). Разработка ведётся сообществом, организованным через Java Community Process; язык и основные реализующие его технологии распространяются по лицензии GPL. Права на торговую марку принадлежат корпорации Oracle.

Приложения Java обычно транслируются в специальный байт-код, поэтому они могут работать на любой компьютерной архитектуре, для которой существует реализация виртуальной Java-машины. Дата официального выпуска — 23 мая 1995 года. Java занимает высокие места в рейтингах популярности языков программирования (2-е место в рейтингах IEEE Spectrum (2020) и TIOBE (2021)).
Колхети-1913
«Колхети-1913» — грузинский футбольный клуб из города Поти. Основан в 1913 году. Домашние матчи играет на стадионе «Фазиси». Ранее клуб назывался «Колхида» и «Колхети». В советское время выступал в классе «Б» и второй лиге (1962—1974, 1979—1989). Неоднократный призёр чемпионатов Грузии в 1990-е годы.

В 2018 году вылетел из высшего дивизиона чемпионата Грузии, через год — из Эровнули лиги 2, по итогам сезона 2022 года вышел в Эровнули лигу 2, а по итогам сезона 2023 вернулся в высший дивизион.

Первая лига Грузии по футболу
Эровнули лига 2 (груз. ეროვნული ლიგა 2) — второй по уровню после Высшей лиги футбольный дивизион Грузии, носит это название с 2017 года, ранее назывался Пирвели лига (Первая лига; груз. პირველი ლიგა).

В последнее время (так же было изначально и в ряде последующих сезонов) лига представляет собой единый турнир, в котором в 2017 году выступали 10 клубов.

Периодически лига делилась на 2 зоны — «Запад» и «Восток» (или 2 группы — «А» и «Б»). Победители этих зон (групп) выходили в Высшую лигу, а клубы, занявшие последние места, выбывали во Вторую лигу, победители зон («Запад» и «Восток») которой замещали их в Первой лиге.

Однако на деле ввиду различных форс-мажорных обстоятельств ротация команд иногда получалась более существенной, нежели изначально было заявлено в регламенте.
Ритупе (Псковская область)
Ритупе (ранее — Жогово, латыш. Rītupe, Žogova) — деревня в России, в Пыталовском районе Псковской области. Входит в состав Утроинской волости.

Деревня расположена в 17 км к северо-востоку от города Пыталово на реке Утроя (Ритупе). Железнодорожная станция Ритупе на участке Псков — Остров — Пыталово.

C 1920 до 1944 гг. входила в состав Яунлатгальского (Абренского) уезда Латвии.

Остров (город)
О́стров — город (с 1341) в Псковской области, административный центр Островского района. Составляет муниципальное образование Образует одноимённое городское поселение. Также является административным центром сельских поселений Бережанской и Островской волостей. Бывший уездный город Псковской губернии.

Население — 20 923 чел. (2021).
Бенвенист (фамилия)
Бенвенист, Бенвенисте (Benveniste, от исп. Bien venida) — еврейская сефардская фамилия.

Род Бенвенистов в Средние века жил в Испании, где и получил это имя; впоследствии многие его представители проживали на юге Франции, в частности в Нарбонне, а также в ряде других государств Европы и Ближнего Востока.

Наиболее вероятная версия происхождения фамилии — что она является переводом еврейского имени Шалом, но не буквальным, а, так сказать, ассоциативным. Слово «шалом» на иврите означает «мир», но употребляется и как приветствие (ср. арабское «салам алейкум»). Испанское Bien venida тоже является приветствием, и поэтому было использовано для замены фамильного имени Шалом.

Нарбон
Нарбо́н, Нарбо́нн, Нарбо́нна (фр. Narbonne, окс. Narbona) — древний город во французском департаменте Од (Aude), находится в 12 км от Лионского залива, на ветке Южного канала, соединяющего Средиземное море с Атлантическим океаном. Население города составляет 46 510 жителей (1999).
Итс, Александр Рудольфович
Алекса́ндр Рудо́льфович И́тс (род. 1 января 1952, Ленинград, РСФСР, СССР) — советский и американский математик. Преподаватель, заслуженный профессор Индианского университета и Индианского университета — Университета Пердью в Индианаполисе с 1993 года.

Индианский университет
Индианский университет — общественный университет США, в состав которого входят 9 кампусов, расположенных в штате Индиана. В общей сложности здесь обучаются более 100 тыс. студентов, из которых 42 тыс. в кампусе в Блумингтоне и около 37 тыс. в Индианском университете в Индианаполисе.
Кагаево
Кага́ево (хак. Хоғайлар) — деревня в центральной части Орджоникидзевского района Хакасии.

Расположена недалеко от райцентра — села Копьёво. Число хозяйств — 71, население — 244 человек (01.01.2004).

Образована в начале 30-х годов XX века.

Хакасский язык
Хака́сский язы́к (самоназвания: хакас тілі или тадар тілі) — язык хакасов, распространённый, главным образом, на территории Хакасии и частично в Шарыповском районе Красноярского края и Туве. Число говорящих на хакасском языке в России — 42 604 человека (2010). Относится к хакасско-алтайской группе восточной ветви тюркских языков.
Макдермотт, Дин
Дин Макдермотт (англ. Dean McDermott; род. 16 ноября 1966, Торонто, Канада) — канадский актёр и телеведущий. Наиболее известен по роли констебля Ренфилда Тёрнбулла в телесериале «Строго на юг» (1995-1999), а также по ролям второго плана в фильмах «Собиратель костей» (1998), «Открытый простор» (2003) и «Экстази» (2011).

Ведущий
Веду́щий, веду́щая — человек, сотрудник СМИ (необязательно штатный), который работает в кадре (телевидение) или эфире (радио), персонифицируя подаваемую информацию.

Одно из шести амплуа тележурналиста; остальные пять: репортёр, интервьюер, комментатор, обозреватель, шоумен. Ключевое значение в этой профессии имеет опыт (практика), а не теоретическая подготовка. Для телеведущих существенным параметром является внешность. Для ведущих радиопередач — дикция. Для ведущих разговорного представления — сочетание двух указанных качеств.
Средне-Банатский округ
Средне-Банатский округ (серб. Средњобанатски управни округ) — один из семи округов автономного края Воеводина Сербии. Расположен на юго-востоке Воеводины, в южной части историко-географической области Банат. Население составляет 187 667 человек (2011 год).

Административный центр — город Зренянин.

Площадь территории округа 3256 км². Административно разделён на 5 общин:

В округе 55 населённых пунктов, из них 4 города и 51 село.

Крупнейшие этнические группы, по переписи 2011 года:

сербы — 134 264 чел. (71,54 %);

венгры — 23 550 чел. (12,55 %);

цыгане — 7267 чел. (3,87 %);

румыны — 4214 чел. (2,25 %);

словаки — 2135 чел. (1,14 %);

хорваты — 796 чел. (0,42 %);

югославы — 769 чел. (0,41 %).

Хорваты
Хорва́ты (хорв. Hrvati) — южнославянский народ, представители которого проживают в современной Хорватии, а также Боснии и Герцеговине, Словении, Сербии, США, Германии, Австрии, Аргентине, Австралии, Венгрии, Италии и других государствах.

Современные хорваты — это потомки белых хорватов и красных хорватов.

Одно из восточнославянских племён, проживавших в восточной Галиции (ныне Украина), называлось белые хорваты, а племена, проживавшие в Моравии и Словакии — чёрные хорваты. Общая численность 5,53 — 6,9 млн, в том числе в Хорватии — 4 млн, Боснии и Герцеговине — 650 тыс. Основная религия — католицизм. Язык — хорватский.
Йенч, Кристина
Кристи́на Йенч (нем. Christiane Jentsch, в замужестве в начале 1990-х Кристи́на Ша́йбель, нем. Christiane Scheibel; род. 13 июля 1961) — немецкая кёрлингистка.

В составе женской сборной Германии участница чемпионата мира 1985 (заняли пятое место) и двух чемпионатов Европы (лучший результат — бронзовые призёры в 1992). Также участница демонстрационного турнира по кёрлингу на Зимних Олимпийских играх 1992 (женская сборная Германии выиграла золотые медали).

В 1980—2002 была скипом команды кёрлинг-клуба CC Füssen (Фюссен), за исключением сезонов 1984—1985 и 1991—1992, когда выступала за команду SC Riessersee (Гармиш-Партенкирхен), которую возглавляла Андреа Шёпп.

Фюссен
Фю́ссен — город и городская община в Германии, в Республике Бавария, на берегу реки Лех, которая образует здесь озеро Форггензе.

Община расположена в правительственном округе Швабия в районе Восточный Алльгой. Население составляет 14 213 человек (на 31 декабря 2010 год).

Расположение города вблизи австрийской границы делает Фюссен отправной точкой пути в Тироль, благодаря чему его посещают многие альпийские туристы. Вблизи города находятся два знаменитых баварских замка — Нойшванштайн и Хоэншвангау.  Герб города из трёх бегущих ног является гласным.
Сингу Мин
Сингу Мин (бирм. စဉ့်ကူးမင်း) (10 мая 1756 — 14 февраля 1782) — четвертый король Мьянмы из династии Конбаун (10 июня 1776 — 5 февраля 1782) .

Сингу Мин, пришедший к власти в условиях противоречий, в значительной степени положил конец политике территориальной экспансии своего отца Схинбьюшина, которая серьезно истощила людские ресурсы и ресурсы королевства. Он остановил последнюю войну своего отца против Сиама при своем восшествии на престол, фактически уступив Ланнатай сиамцам. Точно так же он не предпринял никаких действий, когда лаосские государства перестали платить дань в 1778 году. Единственные кампании были в Манипуре, где бирманская армия была вынуждена подавить четыре восстания во время его правления.

Короля лучше всего помнят за 22 952-килограммовый (50 600 фунтов) колокол Маха Ганда, который он подарил в 1779 году. Сингу Мин был свергнут 6 февраля 1782 года своим двоюродным братом Фаункой и казнен своим дядей Бодопайей восемь дней спустя.

Бирманский язык
Бирма́нский язы́к (или мьянма, мьянманский язык; ဗမာစာ: [bəmàsà] — «бама́ са»; မြန်မာဘာသာ: [mjəmàbàðà] — «мьянма́ бата», myanma bhasa) — тоновый, регистровый язык с изохронными слогами, аналитический язык с порядком слов SOV, входит в лоло-бирманскую группу тибето-бирманской подсемьи сино-тибетской (китайско-тибетской) языковой семьи. Письменность — бирманское письмо, восходящее к письменности брахми.

Является официальным языком Мьянмы (бывшей Бирмы). На бирманском говорят бирманцы и некоторые национальные меньшинства, в частности, моны. Среди сино-тибетских языков по численности говорящих он уступает только китайскому. Древнейший из дошедших до нас текстов на бирманском языке — надпись Мьязеди — относится к 1113 году.
Граклы
Гра́клы (лат. Quiscalus) — род птиц семейства трупиаловых (Icteridae). Птицы родом из Северной и Южной Америки. Род был назван и описан французским орнитологом Луи Жан Пьером Вьейо в 1816 году. Типовой вид был впоследствии обозначен как обыкновенный гракл (Quiscalus quiscula) английским зоологом Джорджем Робертом Греем в 1840 году.

Типовой вид
Типовой вид (в биологической систематике) — вид, выступающий в качестве номенклатурного типа рода.

Во всех спорных ситуациях типовой вид выступает в качестве единственного объективного носителя данного родового имени.

Правила и рекомендации, касающиеся типовых видов, сформулированы в соответствующих международных кодексах: зоологической и ботанической номенклатуры, а также кодексе номенклатуры бактерий.

Явное и недвусмысленное указание типового вида стало общепринятой практикой лишь к концу XIX века. Типовые виды многих родов, выделенных в XVIII и начале XIX веков, были обозначены впоследствии на основании правил и рекомендаций, записанных в кодексах.
Ашик, Эмре
Эмре́ Аши́к (тур. Emre Aşık; род. 13 декабря 1973, Бурса) — турецкий футболист, центральный защитник. Выпускник школы клуба «Сёнмез Филаментспор». Эмре за свою карьеру успел сыграть за всех трёх грандов турецкого первенства: «Фенербахче», «Бешикташ» и «Галатасарай», за который играет в настоящее время. Один из сильнейших и опытнейших защитников в Турции; отличительная характеристика — жёсткость (о чём свидетельствует большое количество «горчичников» и удалений).

Красная карточка
Красная карточка — демонстрируемый судьёй знак удаления игрока/тренера с поля, в некоторых видах спорта, в том числе в футболе, гандболе, хоккее с мячом, регби, лёгкой атлетике. Спортсмен которому была показана красная карточка, обязан покинуть поле или дистанцию на стадионе или шоссе на весь остаток соревнования, а его команда не вправе его заменить (кроме случаев удаления вратаря, место которого может занять игрок из числа остающихся на поле). Исключением является только гандбол, где по истечении двух минут команда восполняется новым игроком. В некоторых случаях получивший красную карточку игрок вынужден также пропустить и некоторое количество следующих матчей.
Гран-при Бельгии 2014 года
Гран-при Бельгии 2014 года (официально 2014 Formula 1 Shell Belgian Grand Prix) — 12-й этап чемпионата мира «Формулы-1» сезона 2014 года (и 59-й Гран-при Бельгии в истории «Формулы-1») прошёл с 22 по 24 августа на трассе «Спа-Франкоршам», Спа, Бельгия.

Ещё до начала уик-энда стало известно, что в двух командах произойдут изменения, в Caterham — Камуи Кобаяси заменят на Андре Лоттерера, а в Marussia — Макса Чилтона заменят на Александра Росси, но как стало известно позже, американец отработает только первую тренировку, а затем Чилтон вернётся за руль.

Кобаяси, Камуи
Каму́и Кобая́си (яп. 小林 可夢偉 Кобаяси Камуи, родился 13 сентября 1986 года в Амагасаки, Япония) — японский автогонщик, выступавший в Формуле-1 с 2009 по 2012 годы и в 2014 году. Принял участие в двух этапах сезона 2017/2018 Формулы-E под гоночной лицензией Монако. Двукратный чемпион мира по автогонкам на выносливость (2019/2020 — в классе LMP1, 2021 — в классе гиперкаров), победитель 24 часов Ле-Мана (2021).
Наймушинка
Наймушинка — река в России, в Кировской области, протекает в Унинском районе. Устье реки находится в 95 км по правому берегу реки Лумпун. Длина реки составляет 16 км, площадь водосборного бассейна 41,1 км².

Исток реки у деревни Комарово (центр Комаровского сельского поселения) в 26 км к юго-западу от посёлка Уни. Река течёт на юго-восток, всё течение проходит в ненаселённом лесном массиве. Впадает в Лумпун ниже деревни Лумпун.

Уни
Уни:

Уни (лат. Ugni) — род растений семейства Миртовые

Уни — 20-я буква грузинского алфавита

Уни — богиня в этрусской мифологии, супруга Тинии

Уни, Пьер (род. 1933) — французский актёр, кинопродюсер, сценарист, режиссёр

Уни- — числовая приставка.

(55637) Уни — объект пояса Койпера.

Топоним

Уни — река в Юкаменском районе Удмуртии, в России, левая притока Лекмы.

Уни — посёлок городского типа в Унинском районе Кировской области.

Уни — село в Нанайском районе Хабаровского края.
Нойендорф
Нойендорф (нем. Neuendorf) — топоним.

Нойендорф  — коммуна в Германии, в земле Рейнланд-Пфальц.

Нойендорф — коммуна в Германии, в земле Саксония-Анхальт.

Нойендорф — коммуна в Швейцарии, в кантоне Золотурн.

Нойендорф — коммуна в Германии, в земле Бавария.

Нойендорф — коммуна в Германии, в земле Шлезвиг-Гольштейн.

Нойендорф (Майн-Шпессарт)
Но́йендорф (нем. и бав. Neuendorf) — община в Германии, в земле Бавария.

Подчиняется административному округу Нижняя Франкония. Входит в состав района Майн-Шпессарт. Подчиняется управлению Лор ам Майн. Население составляет 865 человек (на 31 декабря 2010 года). Занимает площадь 9,65 км².
Тип-сумма
Тип-сумма (англ. sum type; также Σ-тип, меченое объединение) — конструкция в языках программирования и интуиционистской теории типов, тип данных, построенный как дизъюнктное объединение исходных типов.

Наряду с типом-произведением является одной из важнейших форм алгебраического типа данных и одним из способов конструирования типов в интуиционистской теории типов и её вариантах. Перечисляемый тип может быть рассмотрен как вырожденная форма типа-суммы — размеченное объединение единичных типов (англ. unit types).

С точки зрения изоморфизма Карри — Ховарда, сопоставляющего типы данных и конструктивные математические доказательства, тип-сумма соответствует логической дизъюнкции.

Играют важную роль в языках семейства ML, таких как Standard ML, OCaml, Haskell и других.

Standard ML
Standard ML (SML) — компилируемый язык программирования общего назначения высшего порядка, основанный на системе типов Хиндли — Милнера.

Является «в основном функциональным» языком, то есть поддерживает большинство технических свойств функциональных языков, но также предоставляет развитые возможности императивного программирования при необходимости. Сочетает устойчивость программ, гибкость на уровне динамически типизируемых языков и быстродействие на уровне языка Си; обеспечивает превосходную поддержку как быстрого прототипирования, так и модульности и крупномасштабного программирования.

SML был первым самостоятельным компилируемым языком в семействе ML и до сих пор служит опорным языком в сообществе по развитию ML (successor ML). В SML впервые была реализована уникальная аппликативная система модулей — язык модулей ML.