ЗП
напомните флаг для GHC чтобы убрать это
error: [-Wmissing-fields, -Werror=missing-fields]
error: [-Wmissing-fields, -Werror=missing-fields]
Size: a a a
2021 February 19
AA
-Wno-missing-fields ?
OS
вопрос про Curry–Howard isomorphism: верны ли эти соответствия?
(a, b) -> c | c^(a*b)
a -> b -> c | c^(b^a)
(a, b) -> c | c^(a*b)
a -> b -> c | c^(b^a)
JS
вопрос про Curry–Howard isomorphism: верны ли эти соответствия?
(a, b) -> c | c^(a*b)
a -> b -> c | c^(b^a)
(a, b) -> c | c^(a*b)
a -> b -> c | c^(b^a)
если последнее выражение исправить, то будут. а так нет
ЗП
вопрос про Curry–Howard isomorphism: верны ли эти соответствия?
(a, b) -> c | c^(a*b)
a -> b -> c | c^(b^a)
(a, b) -> c | c^(a*b)
a -> b -> c | c^(b^a)
считай, что мощность типа изоморфна натуральным числам и все аксиомы типа Пеано справедливы для трансформаций сигнатур
OS
каким должно быть второе выражение?
ЗП
каким должно быть второе выражение?
все ок со второй частью
JS
каким должно быть второе выражение?
попробуйте угадать, исходя из правой ассоциативности функционального типа:
a -> b -> c = a -> (b -> c)
a -> b -> c = a -> (b -> c)
OS
попробуйте угадать, исходя из правой ассоциативности функционального типа:
a -> b -> c = a -> (b -> c)
a -> b -> c = a -> (b -> c)
Благодарю. Я упустил из виду ассоциативность.
IK
Господа, ещё раз по поводу Persistent. Вот работающий instance для PersistValue, но работает оно только для списка из 1 элемента. А как можно сделать так, что список был неограниченной длинны? Спасибо
instance PersistField [Int64] where
toPersistValue a = PersistList $ fmap PersistInt64 a
fromPersistValue (PersistList [PersistInt64 a]) = Right $ [a]
fromPersistValue _ = Left ""
JS
fromPersistValue (PersistList values) = traverse _fillthis valuesIK
Спасибо огромное!
JS
я не уверен, что это правильно, но я бы попробовал
IK
Проверим
JS
наверно,
traverse fromPersistValue valuesJS
хочется класс, как Show, только пригодное для отладки всегда, а не вот это серединка наполовинку
к
хочется класс, как Show, только пригодное для отладки всегда, а не вот это серединка наполовинку
автовыводимый для всех типов имеешь в виду, или что?
JS
автовыводимый для всех типов имеешь в виду, или что?
скорее, чтобы можно было посмотреть и понять, как оно устроено. а лучше в код вставить. а то UTCTime какую-то фигню показывает. или вот IP из iproute
JS
Debug/Display в Расте — хорошо
str/repr в Питоне — не очень, но тоже неплохо
в Хаскеле беда
str/repr в Питоне — не очень, но тоже неплохо
в Хаскеле беда
JS
да, в идеале автоматическое, и чтобы параметры типов тоже были, потому что в них часто самая важная информация, особенно в фантомных