applicative

2ısı

1cevap

module Parser where import Control.Monad (MonadPlus, mplus, mzero) import Tagger (Tag, Token) newtype Parser a = Parser ([(Token, Tag)] -> [(a, [(Token, Tag)])]) parse :: Parser a -> [(To

6ısı

1cevap

Okuyucu r

için Uygulayıcı örneği yazarken <*> nasıl yazılır Haskell Book, "Bölüm 22. Okuyucu" 'da bir alıştırma ile sıkışıp kaldım. Egzersiz "Reader için uygulamalı uygulamak" diyor ve aşağıdaki verir: {-# LANG

12ısı

1cevap

Neden <$> g <$> g <$> x karşılığı (f. G) <$> x <$> doğru olarak ilişkilendirilemez mi?

Neden <$> doğru değil,(f . g) <$> x eşdeğerdir? (denklik Bu tür düz $ ile a popular idiom geçerlidir, ancak şu anda $ sağ ilişkisel değildir!) <*><$> aynı çağrışımsallık ve önceliğe sahiptir, ancak fa

6ısı

1cevap

Control.Applicative

'da argümanları görmezden geliyorum Bir xml-conduit ayrıştırıcısı yazıyorum ve monadik için uygulama sözdizimini tercih ediyorum. Birleştirilecek pek çok argüman olsa da, uygulamada bir şekilde kaybol

5ısı

2cevap

catMaybes gibi Haskell işlev ancak sahip olan tip [Belki] -> Belki [a]

I tip bir işlev gibi olacaktır: f :: [Maybe a] -> Maybe [a] ör Benim fNothing hakkında çok ciddi iken bu catMaybes, Nothing görmezden hariç f [Just 3, Just 5] == Just [3, 5] f [Just 3, Nothing] ==

10ısı

1cevap

Haskell - Değerlendirilmesi (+) <$> (+3) <*> (* 100) $ 5

From the chapter on Functors in Learn You a Haskell for Great Good, Lipovača devletler: Biz (+) <$> (+3) <*> (*100) yaptığımızda ", biz + kullanacağı bir işlev yapıyoruz (+3) ve (*100) ve sonuçları bu

12ısı

1cevap

Uygulamanın X'in ne için olduğunu anlamak için

Bu denklemi X için çözebilir miyiz? Uygulamalı X bazı düşünce verdikten sonra

13ısı

2cevap

"Kapalı kompozisyon altında" anlamı

this paper okuyor ve Applicative sınıfının kompozisyonun altında kapatıldığından bahsediliyor. Bu aslında ne anlama geliyor?

13ısı

2cevap

Uygulama sirkülasyonlarının bileşimi aracılığıyla kısa devre arızasıyla başarıların listesini oluşturabilir miyim?

kullanıcı 'singpolyma' asked on reddit orada yatan bazı genel yapısı ise: Ücretsiz bir monad önerildi data FailList a e = Done | Next a (FailList a e) | Fail e , ancak bu uygulamalı functors aracılı

9ısı

1cevap

"ApplicativeIO" sınıfı var mı?

Hackage'de MonadIO'a benzeyen bir yazım hatası var ama Applicative s için IO eylemlerini IO temel alınarak kolayca kaldırabilirsiniz? Böyle bir tip yazım var ise, Applicative-Monad Proposal'un uygulan