이 코드는 보간 연산자로 <>을 사용하는 것으로 보입니다. https://github.com/hlian/linklater/blob/master/examples/app/JointPhotographicExpertsGroupTonga.hs 이 연산자에 대한 설명서 나 출처를 찾을 수 없습니다. 어떤 아이디어가 무엇인지/어디에서 왔는지.
모나드에 대한 나의 이해가 여전히 형성되고 있습니다. 연관성을 제외하고 모나드가 준수해야하는 다른 세 가지 계약은 identity, pure 및 bind입니다. 나는 Nullable<T> 형태의 순수한 함수의 생성자, 나는 Nullable<T>에 어떤 identity 및 bind 기능이 표시되지 않는 것을 추론.
내가 알아챈 한 가지는 Tuple에는 Monad 인스턴스가 없습니다. 이미 매우 크게 우리가 Monad 인스턴스가 될 수 있습니다 어떤 제한 instance Monoid a => Applicative ((,) a)
: 튜플 그러나 Applicative 인스턴스가 않습니다. instance Monoid a => Monad ((,) a)
join ::
하스켈에서 모나드와 바인드 작업을 더 잘 이해하기 위해 몇 가지 연습을하고있었습니다. 그렇게하기 위해 나는 실행 된 작업을 추적하는 로거를 작성하기로 결정했습니다. 모나드 인스턴스와 함께 data Log e a = Error e | Result a String deriving (Show)
: 시나리오에서 로거를 테스트하기 위해 instance Monad
가 나는 동안, 지정된 스택의 상단과 하단으로, 모나드 변압기 스택을 받아들이는 기능을 만들려고하고있는 다음 코드 본질적으로 import Control.Monad.Trans
import Control.Monad.Trans.Except
import Control.Monad.Trans.State
newtype MyTransT m a = MyTransT
나는 1) 계산할 때 (argument+) argument을 계산하고 2) (Interpreting Haskell monad example)를 두 배로 늘린다. 이 기능에 a :: Int -> Int
a = (id >>= (\n -> (n+))) >>= (\d -> return (d + d))
오류를 방지하기 위해 I 해야 사용 돌아갑니다. 그러나이
모나드 T에서 f1 :: T String과 같은 기능을 갖고 있으며 그 결과를 사용하려면 예를 들어 인쇄하고 싶습니다. seeF1 :: IO String
seeF1 = do
res <- f1
print res
왜 잘못 되었나요?. 모나드 IO에 없기 때문에 f1을 사용할 수없는 것 같습니다. 그래서 어떻게 할 수 있습니까? 들지? 당
내가 모나드의 개념 주위에 내 머리를 정리하려고했는데 나는 다음과 같은 예를 실험했습니다 : 나는 텍스트의 상태를 나타내는 Editor 데이터 유형이 문서 및 그것에 작동하는 몇 가지 기능을 제공합니다. data Editor = Editor {
lines :: [Line], -- editor contents are kept line by line
내 이전 목표에 대한 다음과 같은 질문입니다. State and IO Monads 내 목표는 파일을위한 간단한 텍스트 편집기를 만드는 것입니다. 기본 데이터 구조에 모든 편집 작업을 멋지게 캡슐화 한 Editor 구성 요소가 이미 있습니다. type Session = StateT AppState (StateT Editor IO)
AppState 응용 프
일단 문자열을 선택하면 다시 반복 할 수 없도록 가능한 문자열 집합에서 문자열을 생성하는 문제를 고려하십시오. 이 작업을 위해 QuickCheck의 Gen 기능을 사용하고 싶습니다. 필자가 작성하려고하는 함수의 유형을 살펴보면 상태 모나드와 매우 유사하게 보입니다. 다른 모나드 즉, Gen을 상태 모나드에 사용하고 있습니다. 나는 StateT을 사용하여 나