ghc

7зной

2ответ

Может ли GHC получить Functor и аппликативные экземпляры для монадного трансформатора?

Я пытаюсь реализовать MaybeT в духе библиотеки mtl. При этом не-составителя решения: {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-} import Control.Monad import Cont

-1зной

1ответ

Read экземпляр комбинированного типа данных с Haskell

1зной

1ответ

Класс для Newtype

У меня есть NewType newtype ScopedTable sym = ScopedTable { tab_stack :: [ Map String sym ] } , потому что я хочу иметь таблицы символов, как структуру для разных символов типов. На моей первой попы

3зной

4ответ

Определение функции, которая ведет себя по-разному в зависимости от того аргумент целое или дробное

Этакая-раствора, чтобы выписать кучу экземпляров вручную, class Halve a where halve :: a -> a instance Halve Int where halve = (`div` 2) instance Halve Integer where halve = (`div` 2

15зной

1ответ

«Строгость» квадратных скобок

я эти определения в файле: x = 'a' : 'b' : 'c' : [] y = ['a', 'b', 'c'] (Важно, чтобы определить тех, кто в файле, а не в GHCi, потому что в последнем случае ситуация становится способом более стра

14зной

1ответ

Частичная оценка правых секций оператора

У меня есть функция (*~). Большая часть стоимости оценки x *~ y приходит досматривать второй аргумент, примерно вдоль этих линий: (*~) :: a -> b d -> c d a x *~ y = case y' of Bar -> cheapFunc