YS
(бегло прошёлся по коду)
Size: a a a
2020 November 10
MK
Там вроде не ньютайпы, а полноценные даты
ЗП
В пакете ленс есть ReifiedLens специально для этих целей
еще всякие фолды и прочее позволяют применять к линзам
MK
Чтобы экзистенциальный тип засунуть
YS
Там вроде не ньютайпы, а полноценные даты
вроде ньютайпы(
MK
Но я не помню
ЗП
хотя я только это использовал
https://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Reified.html#t:ReifiedFold
https://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Reified.html#t:ReifiedFold
YS
В ньютапы вроде экзистенциальный тип засовывается
YS
(хотя почему то помню, что не получалось раньше)
YS
(может ложные воспоминания)
ЗП
В ньютапы вроде экзистенциальный тип засовывается
только если сколемизировать
YS
только если сколемизировать
это как?
YS
а, блин, написал код с расширением импредикативных типов, и сижу довольный
ЗП
это как?
exists заенкодить через forall через ранг +1
MK
exists заенкодить через forall через ранг +1
В хаскеле другого и нет способа
MK
Что ньютайп, что дата
ЗП
В хаскеле другого и нет способа
forall a. SomeConstructor ...MK
Ну а как ещё?
к
В ньютапы вроде экзистенциальный тип засовывается
конечно нет, exist тип это минимум пара, если не учитывать тип, то из инстанса и значения