A
Size: a a a
2021 January 10
ЗП
почему если сгенерить через синглтон, то
когда я явно делаю
MapMaybe не компилитсякогда я явно делаю
Map то все окimport Data.Singletons
import Data.Singletons.TH
-- $(promote [d|
-- map :: (a -> b) -> [a] -> [b]
-- map _ [] = []
-- map f (x:xs) = f x : map f xs
-- |])
type family Map (f :: k1 -> k2) (l :: [k1]) :: [k2] where
Map f '[] = '[]
Map f (e ': l) = f e ': Map f l
type MaybeMap xs = Map Maybe xs
ЗП
это если через TH делать
Expected kind ‘a0 ~> b0’, but ‘Maybe’ has kind ‘* -> *’AA
синглетонс для map сделают дефункционализацию, чтоб частичное применение работало
ЗП
и как использовать тогда потом? через Apply как-то?
AA
да, там какие-то закорючины для применения, я уж забыл их имена
ЗП
чет не понимаю какой оператор подставить
DB
Есть какой-то смысл использовать ST вместо State, когда стейт это список или мапка из containers?
DB
В том смысле, что это все равно иммутабельные структуры
MP
Есть какой-то смысл использовать ST вместо State, когда стейт это список или мапка из containers?
скорее нет, чем есть
DB
Понимаю