Меню
Главная
Случайная статья
Настройки
Обсуждение:Конструктор типов
Материал из
https://ru.wikipedia.org
Эта статья тематически связана с
вики-проектом «Информационные технологии»
, цель которого — создание и улучшение статей по темам, связанным с
информационными технологиями
. Вы можете
её отредактировать
, а также
присоединиться к проекту
,
принять участие в его обсуждении
и
поработать над требуемыми статьями
.
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)
[
ответить
]