А
ничоси цены
Size: a a a
2021 March 07
ЖК
hls немного глючный. скорее всего ты как-то притащил себе новую версию ghc(через ghcup, например).
Делал много разных телодвижений но неполадка ушла после того, как открыл в VSCode другую папку, а потом снова ту, в которой поломалось.
ЖК
A
Делал много разных телодвижений но неполадка ушла после того, как открыл в VSCode другую папку, а потом снова ту, в которой поломалось.
Оба проекта через стак?
2021 March 08
ЖК
Оба проекта через стак?
Да
2021 March 09
АК
Добрый вечер, есть ли в хаскеле тайпкласс, который может конвертировать одни контейнеры в другие?
что-то вроде:
В хугле найти не получилось. То ли из-за того, что такой класс бесполезен и некому он не нужен, то ли из-за того, что криво искал\
что-то вроде:
class Embed t m where
embed :: t a -> m a
В хугле найти не получилось. То ли из-за того, что такой класс бесполезен и некому он не нужен, то ли из-за того, что криво искал\
JS
Добрый вечер, есть ли в хаскеле тайпкласс, который может конвертировать одни контейнеры в другие?
что-то вроде:
В хугле найти не получилось. То ли из-за того, что такой класс бесполезен и некому он не нужен, то ли из-за того, что криво искал\
что-то вроде:
class Embed t m where
embed :: t a -> m a
В хугле найти не получилось. То ли из-за того, что такой класс бесполезен и некому он не нужен, то ли из-за того, что криво искал\
на поверхности нет такого.
есть Foldable, чтобы превращать разные штуки в список
есть Foldable, чтобы превращать разные штуки в список
JS
но из последовательности (списка) во что-то другое — общего решения нет, но есть много частных
к
Добрый вечер, есть ли в хаскеле тайпкласс, который может конвертировать одни контейнеры в другие?
что-то вроде:
В хугле найти не получилось. То ли из-за того, что такой класс бесполезен и некому он не нужен, то ли из-за того, что криво искал\
что-то вроде:
class Embed t m where
embed :: t a -> m a
В хугле найти не получилось. То ли из-за того, что такой класс бесполезен и некому он не нужен, то ли из-за того, что криво искал\
ну, он достаточно бесполезен. В том смысле, что его в каком-то обобщенном коде особо не поюзаешь, если он не будет массовый. А в необобщенном коде он просто скорее всего заставит больше аннотаций писать, без какого-либо профита
к
ну, вопрос можно интерпретировать двояко
к
или требуется готовый класс или апи для конверсий, общий
к
или требуется набор функций/инстансов, чтобы конверсии вручную не писать
к
для первого можно просто Iso линзовый предложить
O
это выглядит как natural transformation, только без ограничения Functor
АК
или требуется набор функций/инстансов, чтобы конверсии вручную не писать
this
АК
хотелось бы инстансы для Identity\Const не писать
АК
те мне нужно что-то вроде такого:
composeMy :: Embed m t => MyTy t b c -> MyTy m a b -> MyTy t a c
те что-бы при композиции, при возможности, один тип лифтился до второго
composeMy :: Embed m t => MyTy t b c -> MyTy m a b -> MyTy t a c
те что-бы при композиции, при возможности, один тип лифтился до второго
к
хотелось бы инстансы для Identity\Const не писать
ну для id k есть coerce в base
к
это же ньютайпы