ЗП
ну я про это и говорил
Size: a a a
2021 January 29
ЗП
какой там екстеншн?
Not in scope: type variable ‘k’
Not in scope: type variable ‘k’
ЗП
showPretty' :: forall k (t :: k). PP.PrettyTypeShow (PP.ToPretty t) => String
showPretty' = PP.showPretty @k @_ @t Proxy
ЗП
надо было еще
t :: kк
какой там екстеншн?
Not in scope: type variable ‘k’
Not in scope: type variable ‘k’
ScopedTypeVariables
a
это что у нас такое появилось?
https://github.com/well-typed/large-records
https://github.com/well-typed/large-records
Прикол в том, что при компиляции рекордов и созданием аксессоров требуется квадратичная генерация типов в корке, там челики представили рекорды в виде
а аксессоры это простые
newtype Rep a = Rep (Vector Any)от чего сократили генерацию типов до ленейной
а аксессоры это простые
field0 r = unsafeCoerce $ unsafeIndex r 0
ЗП
почему нельзя делать дырки в TF? я хочу как в термлевеле иметь типовые дырки
AA
че только не придумают, лишь бы нормальный тайпчек не делать
ЗП
type instance X = _t
ЖК
А в base нет ничего наподобие
?
Не нашел, но вроде оче полезная штука, отчего удивляюсь, что нету.
Если нет, то может быть, можно как-то элегантно в две-три аппликации получить такую функцию из уже существующих? У меня реализация вышла относительно громоздкой.
findA :: Applicative f => (a -> f Bool) -> [a] -> f (Maybe a)?
Не нашел, но вроде оче полезная штука, отчего удивляюсь, что нету.
Если нет, то может быть, можно как-то элегантно в две-три аппликации получить такую функцию из уже существующих? У меня реализация вышла относительно громоздкой.
ЖК
(юзкейс - поиск по списку IORef-ов такого IORef-a, данные по ссылке у которого удовлетворяет условию, например
что хорошо выражается через такой
(a -> Bool) -> [IORef a] -> IO (Maybe (IORef a))что хорошо выражается через такой
findA )ЖК
У меня на аппликативе вышло. 👀
ЖК
Точнее на
Alternative