Обсуждение:Вывод типов
Проект «Информационные технологии» (уровень III, важность для проекта высокая)
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
 | Эта статья выставлялась на удаление и была оставлена. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/4 марта 2009. Повторное выставление допустимо лишь при наличии аргументов, не рассмотренных в прошлых номинациях, при изменении обстоятельств вокруг предмета статьи или изменении правил Википедии, в противном случае повторная заявка будет быстро закрыта. |
Обсуждение править
Первоначально эта статья была просто редиректом на Приведение типа, что конечно неверно 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)
- Я не против. — Ashik talk 11:17, 5 марта 2009 (UTC).
- Угу, тогда возможно стоит эту статью сделать редиректом на Модель_типизации_Хиндли_—_Милнера ? 62.231.4.134 11:14, 5 марта 2009 (UTC)
Вывод vs выведение править
Предлагаю переименовать статью в Выведение типов во избежании путаницы с выводом в значении output. В интернете термин «выведение типа» встречается реже, чем «вывод типа», поэтому не переименовываю молча. --М. Ю. (yms) 13:54, 10 августа 2009 (UTC)
- Поддерживаю. Crimaniak 03:23, 27 февраля 2012 (UTC)
- Тоже присоединяюсь Arachnelis 19:19, 22 января 2014 (UTC)