Появился вопрос: Существует ли какая-то абстракция,объединяющая монады и зависимые типы и

Question

Haskell

(*__*)

Появился вопрос: Существует ли какая-то абстракция,объединяющая монады и зависимые типы и

ее реализация на haskell(какие-то библиотеки например)?

#haskell #programming #russian

0

03.06.2020

2 ответов

17 просмотров

(*__*) Автор вопроса

{-#Language AllowAmbiguousTypes,GADTs,TypeFamilies,PolyKinds,DataKinds,KindSignatures#-} import Data.Kind class DMonad (m :: k -> Type -> Type) where type Return (t :: Type) :: k return' :: a -> m (Return a) a type Bind (p1 :: k) (p2 :: k) :: k bind' :: m p1 a -> (a -> m p2 b) -> m (Bind p1 p2) b data MaybeDT = JustDT|NothingDT data DMaybe :: MaybeDT -> Type -> Type where DJust :: a -> DMaybe JustDT a DNothing :: DMaybe NothingDT a instance DMonad DMaybe where type (Return t) = JustDT return' x = DJust x type Bind JustDT JustDT = JustDT type Bind JustDT NothingDT = NothingDT type Bind NothingDT JustDT = NothingDT type Bind NothingDT NothingDT = NothingDT bind' (DJust a) f = f a bind' _ _ = DNothing Вроде в идеале оно должно быть как-то так(инстанс для Maybe),но компилятор выдает ошибку...

0

03.06.2020

Alexey Gerasimov · Accepted Answer

Alexey Gerasimov

в чем должно заключаться объединение? приведите пример

0

03.06.2020

169 похожих чатов

Появился вопрос: Существует ли какая-то абстракция,объединяющая монады и зависимые типы и

2 ответов

Похожие вопросы