Наследование классов типов Haskell и класс параметрических типов

Я хочу сказать, что некая параметризованная монада st работает с обычной памятью, но подкласс моей параметризованной монады должен накладывать дополнительное ограничение на тип памяти. В коде:

class Memory m where
    ...

class State st where
    unit :: Memory m => a -> st m m a
    bind :: (Memory m1, Memory m2, Memory m3) => st m1 m2 a -> (a -> st m2 m3 b) -> st m1 m3 b

class RMemory m where
    ...

class State st => RState st where
    -- no operators

теперь моя проблема в том, что я хочу навязать, что всякий раз, когда (RState st) истинно, то внутри определения (State st) Memory заменяется на RMemory; это превратило бы State в нечто параметрическое в классе типов его памяти. Можно ли это сделать?


inheritance typeclass haskell
person Giuseppe Maggiore    schedule 13.07.2010    source источник

Ответы (1)


arrow_upward
3
arrow_downward

Я подозреваю, что вы не можете сделать это напрямую. Однако вы можете очень эффективно обманывать, добавляя уровень косвенности. См. «Ограниченные типы данных в Haskell» Джона Хьюза, чтобы узнать, как это сделать: >http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.2816

Это тот же метод, который используется, например, для получения открытой рекурсии в syb-with-class.

Я совершенно уверен, что это должно указать вам правильное направление.

person sclv    schedule 13.07.2010