AV
там же роль не должна подходить
Size: a a a
2020 October 28
JS
если эот работтает то Map написан неправильно
конечно же, я не проверял
JS
отрицательная роль не коёрсится?
AA
отрицательная роль не коёрсится?
да весь смысл ролей чтоб делать так, чтоб нельзя было коэрсить какой-нибудь Map Foo Bar в Map (Down Foo) Bar мап ломается от такого
JS
оба варианта работают
lookup' :: forall a. Tni -> IntMap a -> Maybe a
lookup' = coerce (IntMap.lookup @a)
lookup' = IntMap.lookup . coerce
JS
если эот работтает то Map написан неправильно
кажется, речь шла только про IntMap
AV
Без разницы
MK
всё так 😊 хотел посмотреть разные варианты просто. Постараюсь не забыть напомнить! 😊
https://github.com/biocad/web-template/blob/master/src/Web/Template/Servant/Aeson.hs
я вспомнил что у меня пример в открытом доступе есть
я вспомнил что у меня пример в открытом доступе есть
MK
там вроде всё понятно должно быть
AP
https://github.com/biocad/web-template/blob/master/src/Web/Template/Servant/Aeson.hs
я вспомнил что у меня пример в открытом доступе есть
я вспомнил что у меня пример в открытом доступе есть
здорово, спасибо!
2020 October 29
AV
почему stack --pedantic не ругается на неиспользуемые функции??
MK
модуль без списка экспорта небось
MK
и причем тут стэк!
AV
Действительно
NI
Ребята, а никто для студентов в последнее время не писал крестики нолики или интерпретатор Паскаля?
Очень хотелось, но не получилось.
AS
Очень хотелось, но не получилось.
Что вы имеете ввиду?
AV
Обращались они ко многим, но писал ли кто-то не ясно
AS
Обращались они ко многим, но писал ли кто-то не ясно
Понял, спасибо.