이전 코드 리뷰로 재생 simple-db. 코드를 줄이기 위해 상태 모나드를 추가 할 때 막히게됩니다. 나는 어떻게 든 제대로하지 않는다고 느낍니다. repl cmd = getCmd >>= execCmd cmd >>= displayResult >>= continueexecCmd의 인터페이스를 변경하면 해당 라인을 따라 모든 기능이 변경됩니다. 이 접근법을
내 시험 기능을 배우면서 기능적 프로그래밍, 아직 실제로 시도 중입니다. 모나드. 자신을 정의하는 것보다 더 좋은 방법은 무엇입니까? 나는 이것을 다음과 같이 정의했다 : newtype ST a = ST (State -> ([a], State))
type State = StdGen
기본적으로 하나의리스트 모나드와 랜덤 모나드. 이 모나드는 임의의 함수
저는 haskell 및 학습 모나드를 배우고 있습니다. 다음에 import Control.Monad.State
fib n = flip evalState (0,1) $ do
forM [0..(n-1)] $ \_ -> do
(a,b) <- get
put (b,a+b)
(a,b) <- get
return a
내
this question의 후속 조치입니다. 나는 shell을 @ ErikR의 answer에서 내 InputT 루프에 결합하려고합니다. main :: IO [String]
main = do
c <- makeCounter
execStateT (repl c) []
repl :: Counter -> StateT [String] IO()
내가 모나드의 개념 주위에 내 머리를 정리하려고했는데 나는 다음과 같은 예를 실험했습니다 : 나는 텍스트의 상태를 나타내는 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 응용 프
저는 하스켈에서 초보자입니다. 나는 상태 모나드를 사용하고자하는 상황을 경험했습니다. 적어도 모나드 모나드에 대한 튜토리얼은 100 만 개가 있지만 모두 내 주요 목표는 개념적 차원에서 이해하는 것입니다. 결과적으로 그들은 소프트웨어를 실제로 개발하는 방법을 말하는 부분 바로 앞에 멈추게됩니다. 그래서 간단한 예제를 통해 도움을 찾고 있습니다. 다음은 현재
내가 하나 개의 기능은 GlobalState type LocalState a = State [String] a
에 자신의 로컬 상태 및 액세스를 필요로 type GlobalState a = State Int a
하지만 글로벌 상태가하지만 난 결합하는 가장 좋은 방법은 무엇입니까 그것들을 결합하는 것은 확실하지 않습니다. 은 지금은 단지 세계 type
일단 문자열을 선택하면 다시 반복 할 수 없도록 가능한 문자열 집합에서 문자열을 생성하는 문제를 고려하십시오. 이 작업을 위해 QuickCheck의 Gen 기능을 사용하고 싶습니다. 필자가 작성하려고하는 함수의 유형을 살펴보면 상태 모나드와 매우 유사하게 보입니다. 다른 모나드 즉, Gen을 상태 모나드에 사용하고 있습니다. 나는 StateT을 사용하여 나
다시 도움에 감사드립니다! X/Y 문제를 피하기 위해 Kmett 's Lens 라이브러리를 광범위하게 사용합니다. 약간의 컨텍스트를 설명하겠습니다. 확장 가능한 텍스트 편집기에서 작업하고 있으며 확장자 작성자에게 모나드 DSL을 제공하려는 경우 Alteration은 기본적으로 전체 텍스트 편집기를 저장하는 Store 유형의 StateT가있는 모나드 변환기