applicative

3열

1답변

람다 함수의 응용 펑터를 테스트하고 있지만 아래 코드로 작성했습니다. 'myAddition가'랜덤에 '의 총 누적 취할 필요 : 그러나 나는 펑터를 배우고, 내가 아래의 작업을 수행하는 더 나은 방법이 감사 을 그래서 이것은 관련 data Random a = Nill | Random a deriving (Show, Ord, Eq) randomOrNot

3열

1답변

집합 (중첩 목록)에 대한 적용 인스턴스

현재 신중한 수학 수업을위한 개인 프로젝트를 진행 중이고 하스켈에서 집합 이론을 형식화하려고합니다. 이 클래스에서 정의 된 집합은 특정 유니버스의 임의의 요소 중첩입니다. 나는 사실상의 표준 중첩 된 목록으로이를 표현하기 위해 선택 : data Set a where Empty :: Set a Elem :: a -> Set a -> Set

6열

1답변

독자 r에 대한 Applicative 인스턴스를 쓸 때 <*>을 쓰는 방법

Haskell Book, "22 장. 독자"의 연습 문제가 있습니다. 운동은 "리더의 실용적 구현"라고하고 다음과 같은 수 있습니다 : {-# LANGUAGE InstanceSigs #-} newtype Reader r a = Reader { runReader :: r -> a } instance Applicative (Reader r) w

1열

1답변

드 설탕도 표기

설탕에 드링크하고 싶습니다. 하지만 바로 그것을 가지고 있는지 확실하지 메신저 : 인가 : quote = do time <- qtime qcomma ask <- double qcomma bid <- double qcomma askVolume <- double qcomma

7열

2답변

함수 인스턴스의 bind/>> =를 해석하는 방법은 무엇입니까?

자바에서 함수 인스턴스를 구현하여 Applicative 및 Monad에 대한 이해를 높이려고합니다. 하스켈에 대한 나의 지식은 제한적이며 내 질문이 전혀 의미가 없기를 바랍니다. 여기 자바 스크립트에 Functor, Applicative 및 Monad typeclasses에 대한 fmap, <*> 및 >>=의 내 구현은 다음과 같습니다 : const fma

2열

1답변

여러 유형 클래스가있는 사용자 정의 데이터 유형에 펑터/응용 프로그램 사용?

두 개의 매개 변수 a와 b를 가진 사용자 유형을 고려하십시오. 분명히 이것은 사용자가 두 가지 유형으로 구성 될 수있게합니다 : data Users a b = User a b deriving (Show, Eq, Ord) 이 인스턴스에 대해 펑터와 응용 프로그램을 어떻게 선언 할 수 있습니까? 나는이 방법이 컴파일되지 않습니다 시도했다 : instanc

0열

2답변

특정 메소드에 대한 일반 클래스를 제한 할 수 있습니까?

TypeScript에서 컨테이너를 만듭니다. 그것은 어떤 컨테이너가 될 수 있지만, 나는 다음과 같은 간단한 예제를 사용합니다 : class Container<T> { val: T; constructor(t: T) { this.val = t; } } 가 나는의 숫자와 두 개의 용기가 있다면, 나는 쉽게로 새 컨테이너

0열

1답변

적용 펑크 터 순수 매칭되지 않음

응용 펑터에 대해 배우고 있습니다. 실용적 Maybe에 대한 source에서 pure 기능은 다음과 같습니다 : 확장 인수로 instance Applicative Maybe where pure = Just ...etc , 나는 그것의 모습을 생각 : 나는 pure (Just 5)를 호출 할 때 pure x = Just x , 그것은

3열

1답변

ZipList가 목록의 기본 Applicative 인스턴스가 아닌 이유

현재 하스켈에서 신청자를 배우고 있습니다. 잘못된 것이 아니라면 목록에 두 개의 다른 Applicative 인스턴스가 있습니다 (List 및 ZipList - 두 번째는 List 값을 래핑하는 newtype으로 정의 됨). 적용 가능한 인스턴스는 나를 위해 더 직관적 인 것처럼 보입니다. 멍청한 질문 일 수도 있지만 특별한 이유가 있습니다. ZipList은

2열

1답변

하스켈 optparse의-실용적 : 여러 필드를 레코드 목록을 구문 분석

나는 다음과 같은 유형 및 파서가있는 경우 : data Mode = Mode1 | Mode2 deriving (Show, Eq, Read) data ThingINeedMulitpleOf = Thing { _name :: String, _mode :: Mode } deriving (Show, Eq) thin