AP
Точнее так: Ord сравнивает указатели сначала, потом уже содержимое
Size: a a a
2020 December 22
A
в питоне сет и словарь требуют, чтобы ключи были хешируемыми и сравнивает по хешам. А списки там не хешируемые
AP
В Python списки мутабельные
A
ага
A
мхм
A
class Game g where
. . .
instance Game ([Int],[Int]) where
Illegal instance declaration for ‘Game ([Int], [Int])’
A
что ему не нравится?
к
там же должно быть больше текста, и вроде бы даже решение должно быть сразу написано
к
скинь полную ошибку
A
• Illegal instance declaration for ‘Game ([Int], [Int])’
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct type variables*,
and each type variable appears at most once in the instance head.
Use FlexibleInstances if you want to disable this.)
• In the instance declaration for ‘Game ([Int], [Int])’
к
ну вот там решение и написано
A
type GameState a = ([a],[a])
instance Game (GameState Int) where
к
Use FlexibleInstances if you want to disable this.A
такое тоже не прокатило, ошибка ровно та же
A
а, не, не та же, теперь про TypeSynonym
A
а чтобы без экстеншнов как надо?
(
class Game g where
. . .
instance Game ([Int],[Int]) where
Illegal instance declaration for ‘Game ([Int], [Int])’
а у
g кайнд какой?к
{-# LANGUAGE
FlexibleInstances, TypeSynonym #-}A
по идее должен быть *
к
нет никакого смысла делать это без экстеншена, это часть языка. Часть компилятора по историческим причинам выключена, чтобы под стандарт подходить, нужно просто эти все фичи включать
без экстеншена это можно сделать ньютайпом и для него инстанс
без экстеншена это можно сделать ньютайпом и для него инстанс