monads

0열

1답변

다음과 같은 선언을 모나드 컴파일러로 선언하려면 어떻게해야합니까? module Main where instance Monad m where -- "return" constructs a one-item list. return x = [x] -- "bind" concatenates the lists obtained by apply

5열

1답변

실제로 모 놀드로 모나드

모나드와 모노도 사이의 관계를보다 실용적인 방식으로 이해하려고합니다. 이 질문이 의미가 없다면 나는 사전에 사과한다, 나는 아직도 고투 중이다. 예를 들어 가정 해 난이 (here)에서 trait Monoid[T] { def zero: T def combine: (T,T) => T } 과 : trait Monad[+M[_]] {

2열

2답변

Haskell의 모든 Monad 인스턴스가 Hask에서 Hask 로의 맵핑을위한 다른 방법입니까? 여기 <a href="https://en.wikibooks.org/wiki/Haskell/Category_theory" rel="nofollow noreferrer">Haskell/Category theory</a>을 읽고 있어요

는 그 기사에서 definition of monad입니다 : 모나드는 몇 가지 추가적인 구조를 지원하는 같은 카테고리 범주에서 펑터의 특별한 유형이다. 따라서 정의까지.가 단위 : C의 모든 오브젝트 X 두 morphisms 함께 C-> C : 모나드는 펑 M 인 X -> M (X) 가입 : M (M (X)) -> M (X) 내가 알고있는 것처럼, 하스켈

0열

1답변

모나드 값을 모나드가 아닌 값으로 변환

하스켈을 처음 사용합니다. 디렉토리에서 내용을 읽어야합니다 (예 : 디렉토리의 모든 파일 나열). HTML로 변환해야합니다. 나는 Yesod 프레임 워크를 사용하는 코드베이스를 가지고 있습니다. getDirectoryContents을 사용하여 디렉토리 내용을 읽을 수 있었으며 그 유형은 IO [FilePath]입니다. HTML로 표현할 수 있기를 바랍니다.

5열

2답변

Haskell에서`join`과`fmap join`은 동일합니까 (범주 이론 관점에서)입니까?

제 질문은 하스켈의 모나드의 첫 번째 법칙에서 발생합니다 : join . fmap join = join . join. 는 Haskell/Category_theory에서이 법은 다음 그림으로 설명된다 :이 예는 유형이 아닌 유형의 인스턴스를 사용한다는 사실에 의해 혼란 스러워요 . 범주 Hask에있는 객체는 유형이므로 인스턴스가 아닙니다. 을 모두 화살표 (

0열

1답변

독자, 작성자 및 주에 대한 적용 사례

모나드 스타일 프로그래밍에 대해 이해하지만 대부분의 기사에서는 Maybe과 같은 "단순한"모나드와이 구별을 설명합니다. Reader, Writer 및 State과 같은 모나드는 어떨까요? 응용 방식으로 사용하는 실용 사례가 있습니까?

1열

2답변

COQ

하스켈에서 의 반대 상태 모나드는, 바인드의 다음과 같은 정의가 허용됩니다 : type RState s a = s -> (a, s) bind :: RState s a -> (a -> RState s b) -> RState s b bind sf f = \s -> let (a, s'') = sf s' (b, s') = f a s

10열

1답변

Applicative-Traverse 배열을 사용할 수없는 이유는 무엇입니까? (또는 그럴 수 있습니까?)

traverse, 즉 a -> Maybe a -Kleisli을 unboxed vector 이상으로 매핑하는 방법을 숙고하면서 기존 구현을 찾았습니다. 분명히 U.Vector은 Traversable이 아니지만, Maybe은 물론 정상적으로 작동하는 it does supply a mapM입니다. 하지만 질문은 : Monad 제약이 실제로 필요한 것입니까? 그들

0열

1답변

데이터 형식 생성자의 컨텍스트에서 다른 모나드 및 적용 가능한 바인드/결합자를 이해하고 있습니까?

나는 주위에 내 머리를 얻으려고 노력하고 다음 코드 조각을, 주어진했습니다 data MyExample e i = MyExample (CustomMonad e i) | forall b. MyExample e b :>>= (b -> CustomMonad e b) | forall b. (MyExample e (b -> a)) :<*> (MyEx

2열

1답변

SQLite로 ReaderT와 runReaderT를 사용하고 계십니까?

I했습니다 here에서 가져온 아래 코드 : 나는) data Blog a에서 readerT의 정확한 역할을 일을 이해하려고 노력 중이 야 type Blog a = ReaderT SQLiteHandle IO a data BlogDBException = BlogDBException String deriving (Show, Typeable) instance