Обсуждение:Конструктор типов
Последнее сообщение: 1 год назад от Fobemipa в теме «Предложение корректива в определении»
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
newtype править
newtype Point a = Point a a
Это ведь даже не скопилируется. Тут наверное лучше всего использовать
newtype Point a = Point (a, a)
- Поправил Koalarry (обс.) 10:04, 8 октября 2017 (UTC)
Предложение корректива в определении править
Не лучше ли так: «В теории типов, конструктор типов представляет собой конструкцию полиморфно типизируемого формального языка, которая строит новые типы из старых имеющихся»? — Fobemipa (обс.) 21:15, 9 июня 2022 (UTC)