AP
я начал смотреть на TF
Size: a a a
2020 July 12
AP
но мне показалось что я справлюсь тайпклассами
JS
но мне показалось что я справлюсь тайпклассами
это и будет тайпкласс, но с довеском
JS
хотя да, тайпкласс необязателен
JS
type family EnvQueue a where
EnvQueue Action1 = "action1"
EnvQueue Action2 = "action2"
send ::
forall a r m.
(MonadIO m, HasField (EnvQueue a) r (TQueue a), MonadReader r m) => a -> m ()
send a = do
chan <- asks (getField @(EnvQueue a))
liftIO $ atomically $ writeTQueue chan a
JS
AP
спасибо!
AP
я сам начал ковыряться
JS
через generic-lens можно сразу искать поле определённого типа и не смотреть на имя
AP
но у меня не получалось, увидел что вы уже написали
AP
через generic-lens можно сразу искать поле определённого типа и не смотреть на имя
про это я даже не подумал
AP
а generic-lens выкинут ошибку если в рекорде будет 2 поля с одинаковыми типами?
AP
у меня такое не планируется, но стало интересно
JS
send ::
forall a r m. (MonadIO m, HasType (TQueue a) r, MonadReader r m) => a -> m ()
send a = do
chan <- asks $ getTyped @(TQueue a)
liftIO $ atomically $ writeTQueue chan a
JS
а generic-lens выкинут ошибку если в рекорде будет 2 поля с одинаковыми типами?
да!
• The type Env contains multiple values of type TQueue Action2.
The choice of value is thus ambiguous. The offending constructors are:
• Env
• The type Env contains multiple values of type TQueue Action2.
The choice of value is thus ambiguous. The offending constructors are:
• Env
AP
задумался, нужна ли мне type family
AP
круто
AP
спасибо еще раз!
МВ
Привет, пишу компилятор на Haskell. Решил сделать AST в виде типа-суммы. И как мне кажется, он получился слишком большим, и будет еще больше. Единственное, что придумал - разбить его на 2 части: внутри тела функции и глобальные вещи. Есть ли вариант лучше?
(до изменений)
(до изменений)
МВ
Frame - это я так функцию назвал.
Дерево:
Дерево:
type SyntaxTree = Tree HLElement