Меню
Главная
Случайная статья
Настройки
|
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями.
Обсуждение
Первоначально эта статья была просто редиректом на Приведение типа, что конечно неверно 62.231.4.134 06:55, 4 марта 2009 (UTC)[ответить]
Обоснуйте уделение интервики ?? 62.231.4.134 08:32, 5 марта 2009 (UTC)[ответить]
- В статье на enwiki стоят iwiki на статью Модель_типизации_Хиндли_—_Милнера, которая является более развитой чем эта. — Ashik talk 08:52, 5 марта 2009 (UTC).[ответить]
- Угу, тогда возможно стоит эту статью сделать редиректом на Модель_типизации_Хиндли_—_Милнера ? 62.231.4.134 11:14, 5 марта 2009 (UTC)[ответить]
- Я не против. — Ashik talk 11:17, 5 марта 2009 (UTC).[ответить]
- А я против. Во-первых, сейчас en:Type inference уже никуда не редиректится, а во-вторых, не "модель типизации Х-М", а "система типов Х-М". Arachnelis 17:16, 24 февраля 2014 (UTC)[ответить]
Вывод vs выведение
Предлагаю переименовать статью в Выведение типов во избежании путаницы с выводом в значении output. В интернете термин «выведение типа» встречается реже, чем «вывод типа», поэтому не переименовываю молча. --М. Ю. (yms) 13:54, 10 августа 2009 (UTC)[ответить]
|
|