найти инстанс. Делаю - находит сразу три. Как это?
Вот ошибка с тремя:
• Overlapping instances for Submap
(FieldsTypesMap a) (FieldsTypesMap a :++ FieldsTypesMap b)
arising from a use of ‘submap’
Matching instances:
instance (x ~ (a :++ b)) => Submap a x
-- Defined at src/Servant/Record.hs:17:10
...plus two instances involving out-of-scope types
instance [overlap ok] [safe] Submap s t => Submap (x : s) (x : t)
-- Defined in ‘Data.Type.Map’
instance [overlappable] [safe] Submap s t => Submap s (x : t)
-- Defined in ‘Data.Type.Map’
(The choice depends on the instantiation of ‘a, b’
and the result of evaluating ‘FieldsTypesMap, FieldsTypesMap, :++’
To pick the first instance above, use IncoherentInstances
when compiling the other instance declarations)
Мой инстанс использует хак с x ~ (a :++ b)) из-за этой ошибки https://stackoverflow.com/questions/45360959/illegal-type-synonym-family-application-in-instance-with-functional-dependency
Когда матчатся инстансы, то для выбора смотрится только на голову (head) правая часть от =>, а после выбора проверяется, что левая подходит и fallback не происходит. Чтобы это обойти есть два пути: 1. По Олегу, добавлять ещё один параметр для матчинга (иногда помогает вспомогательный класс) 2. Overlapping instances, но там надо внимательно смотреть в каких случаях компилятор может выбрать и кажется тут не такой
Извините, а что значит "по Олегу"?
Олег Киселев, достаточно известный исследователь, у которого много статей, любитель FunctionDependencies, автор многих идей, но именно на уровне идей и proof of concept. Про него футболка-мем Oleg has already invented that
Звучит очень печально.
Обсуждают сегодня