Вопросы по теме 'rank-n-types'
Черч закодировал свободную монаду на F#
Я пытаюсь выразить церковную кодировку монады Free в F#. Free предназначен для конкретного функтора, Effect .
Я могу писать и return_ : 'T -> Free<'T> , и bind: ('T -> Free<'U>) -> Free<'T> -> Free<'U> без...
286 просмотров
schedule
23.06.2023
let не работает при использовании с -XRankNTypes
Рассмотрим следующий минимальный пример:
{-# LANGUAGE RankNTypes #-}
module Test where
class C w
data A = A (forall u. C u => u)
x :: forall u. C u => u
x = undefined
a = A x
Как и ожидалось, проверка типов проходит нормально....
53 просмотров
schedule
11.03.2022
Можно ли создать бесконечную оболочку в Haskell с типами ранга N?
Я попробовал этот эксперимент:
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
wrapper :: forall a (b :: * -> *). Monad b => Int -> a -> b a
wrapper 1 v = return v
wrapper n v = return $ wrapper...
74 просмотров
schedule
15.01.2024