169 похожих чатов

Attack :: Board -> Side -> MoveInfo -> Board attack board

side (AttackInfo piece from victim to) =
remove victim (otherSide side) $
replace (from,piece) (to,piece) side board
attack _ _ MoveInfo {} = undefined

не позволяет обозначить тип в функции как AttackInfo ? почему - поскольку он не объявлен как отдельный тип на верхнем уровне ?

4 ответов

10 просмотров

потому что AttackInfo — это не тип, а конструктор данных для типа MoveInfo

Fedor- Автор вопроса
Cheese Syrowiecki
потому что AttackInfo — это не тип, а конструктор ...

О как то есть при составлении типа через или все внутренние это не подтипы а конструкторы ? То есть никакой по сути структуры данных AttackInfo получается нет..

Fedor
О как то есть при составлении типа через или все в...

структура есть, но она не отдельный тип

Fedor
О как то есть при составлении типа через или все в...

система типов не отличает структуру MoveInfo{} и AttackInfo{} в данном случае

Похожие вопросы

Обсуждают сегодня

А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Где в Астане можно купить мясо для шашлыков?
Dancing Іңұқәһүғө
21
Добрый день подскажите пожалуйста может кто то сталкивался с ошибками Sentry 22.10.0 развернутым из helm чарт в Kubernetes? Изначально 3 дня назад очень стало много событий ух...
Tire4 Finist Devops
1
;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, стандартный ;вызов процедуры ;option casemap:no...
Егор Анелькин
1
почому оно не работает?
Vi Chapmann Chapmann
19
всем привет почти закончил курс После него можно писать свою операционку? Какие библиотеки надо использовать и куда дальше копать для изучения
Linus
19
Так а кто может спарсить всех участников чата? Идишники
Magic
18
Карта сайта