typeclass

5Ciepło

1Odpowiedz

Mam trochę sensu wzorzec Aux (jak używane w shapeless i gdzie indziej), w którym element typu jest wyodrębniany do parametru typu, i wiem, że to obejście fakt, że argumenty z tej samej listy argumentó

8Ciepło

2Odpowiedz

Czy to możliwe (Alternatywne f, Składane f) => Monad f?

Poniższe typechecks: instance (Applicative f, Alternative f, Foldable f) => Monad f where (>>=) = flip $ \f -> foldr (<|>) empty . fmap f -- Or equivalently a >>= b = getAlt . foldMap A

7Ciepło

1Odpowiedz

Jak zdefiniować instancję dla konkretnej aplikacji typu w Haskell 98?

zauważyłem, że zestaw testowy dla Data.Set tylko naprawdę definiuje Arbitrary Set a sensownie dla a ~ Int, ale aby uniknąć GHC specjalny ~ używa instance Enum a => Arbitrary (Set a) Jak mogę się upe

9Ciepło

2Odpowiedz

W Haskell, czy możliwe jest zapewnienie domyślnej implementacji dla częściowo zastosowanej klasy typu wieloparametrowego?

Na przykład mam klasy typ: class MyClass a b c where fun01 :: a -> b fun02 :: a -> c fun03 :: a -> b -> c ->() fun04 :: a -> WhatEver chciałbym zapewnić realizację domyślny dla

8Ciepło

1Odpowiedz

Czy często używa się tej samej nazwy dla typu danych i konstruktora wartości w Haskell?

Patrząc na poniższy kod: data Point = Point Float Float deriving (Show) data Shape = Circle Point Float | Rectangle Point Point deriving (Show) który jest z książki Dowiedz ci Haskell za wielkie do

5Ciepło

2Odpowiedz

Jak stworzyć "klasę rodzajową" w Haskell lub polimorfizm ad-hoc na poziomie typu za pomocą rodzin typu

Studiuję cechy rodziny typów Haskella i obliczenia typu. Wydaje się to dość łatwo dostać się polimorfizm parametryczny na poziomie typu używając PolyKinds: {-# LANGUAGE DataKinds, TypeFamilies, KindSi

6Ciepło

1Odpowiedz

Uzyskaj decydującą całkowitą kolejność na typie z iniekcji do `nat`

Ponieważ liczby naturalne obsługują rozstrzygające całkowite zamówienie, wstrzyknięcie nat_of_ascii (a : ascii) : nat indukuje decydującą całkowitą kolejność na typie ascii. Jaki byłby zwięzły, idioma

10Ciepło

1Odpowiedz

Dlaczego ten kod, który został sprawdzony w GHC 7.10, nie zawiera już sprawdzania w GHC 8.0.1?

Mam następujący kod: {-# LANGUAGE DefaultSignatures#-} import Control.Monad.Trans.Class import Control.Monad.Trans.Maybe class Monad m => MonadMaybe m where liftMaybe :: Maybe a -> m a

7Ciepło

1Odpowiedz

Dlaczego foldl1 nie jest uogólniony na Składany?

Tytuł mówi wszystko. foldl1 i foldl' są uogólnione do Foldable, natomiast foldl1' nie jest. Czy to tylko niedawne niedopatrzenie? Czy jest to wybór projektu? Rodzaj foldl1' jest foldl1' :: (a -> a ->

15Ciepło

1Odpowiedz

Czy transformator monad kontynuacji może mieć alternatywną instancję z niektórymi i wieloma?

Możemy zdefiniować transformator kontynuacja monady jako data Cont r m a = Cont {run :: (a -> m r) -> m r} Możemy dać Cont r m Alternatywnych instancji jeśli m jest członkiem Alternative poprzez emp