monads

4열

3답변

Haskell에서 숨겨진 방법으로 상태를 초기화하려면 어떻게해야합니까 (PRNG처럼)?

나는 국가 모나드에 대한 튜토리얼을 통해 아이디어를 얻었다 고 생각합니다. this nice tutorial에서 예를 들어 : *Main> runState getRandom 0 (0,12345) *Main> runState getRandom 0 (0,12345) *Main> runState getRandom 1 (16838,1103527590

18열

3답변

하스켈에서 모나드를 어떻게 결합합니까?

특히, CGI 모나드와 IO 모나드를 결합 할 수 있어야합니다. IO 모나드와 모빌 모나드를 결합하는 방법의 예가 더 좋을 수도 있습니다 ...

12열

0답변

하스켈 : 모나드 테이크?

나는 Haskell에서 호출 한 C 언어로 작성된 함수가있다. 이 함수는 IO (CInt)을 반환합니다. 때로는 어떤 함수가 반환되는지에 관계없이 모든 함수를 실행하려는 경우가 있습니다. 예제 코드의 위해,이 현재 무슨 일이 일어나고 있는지의 일반적인 생각이다 : Prelude> let f x = print x >> return x Prelude> map

5열

2답변

데이터 구조에 중첩 된 모나드 내의 값?

하스켈 프로그램에서 나는 유형이 일부 데이터를 가지고 있다고 가정은 뭔가 같은 : IO [ IO (Int, String, Int) ], 또는 IO [ (Int, String, IO Int) ], 또는 [ (Int, String, IO Int) ] 하지만 난 그해야 순수한 기능을 가지고 [ (Int, String, Int) ]에서 작동하십시오. IO ([In

6열

1답변

오류

나는 유형이 다른 유형의 하위 유형인지 여부를 확인하는 기능이 있습니다 st :: Monad m => Map String Type -- ^type environment -> Set (Type, Type) -- ^assumed subtypes -> (Type, Type) -- ^we are checking if lhs <: rhs

9열

3답변

State 모나드를 사용하거나 재귀 적으로 상태를 전달하는 것이 더 낫습니까?

저는 하스켈을 배우면서 시선 알고리즘을 구현하는 가장 관용적 인 방법을 찾아 내려고했습니다. 내가 찾은 데모 코드는 상태 모나드를 사용하지만 재귀 적으로 상태를 전달하는 것이 나에게 더 단순 해 보인다. 내가 여기서 무엇을 놓치고 있니? 성능 문제가 있습니까? 찾기 코드 : http://www.finalcog.com/bresenham-algorithm-id

3열

2답변

하스켈 코드 단순화

그래서 나 자신이 하스켈을 더 잘 배우는 데 도움이되는 체커와 같은 게임을위한 미니 맥스 구현 작업을하고 있습니다. 내가 문제가있는 함수는 게임 상태에 대한 목록을 가져 와서 즉시 후계 게임 상태의 목록을 생성합니다. 체커처럼 점프가 가능하다면 플레이어는 그것을 가져 가야합니다. 두 개 이상인 경우 플레이어가 선택할 수 있습니다. 대부분의 경우 입력 게임

1열

3답변

mapM과 비슷한 점이 있나요? (arrayMap과 같지만 불순한 함수 매핑)

mapArray를 사용하여 변경 가능한 배열에 함수를 매핑 할 수 있지만 mapM (및 mapM_)과 같은 것은없는 것 같습니다. mapArray 나를 예를 들어, 요소를 인쇄 할 수 없습니다 : import Data.Array.Storable arr <- newArray (1,10) 42 :: IO -- answer to Life, Universe a

12열

3답변

Haskell에서 어떻게 실제로 'get'할까요?/get/initial 상태입니까?

나는 기능이 있습니다 test :: String -> State String String test x = get >>= \test -> let test' = x ++ test in put test' >> get >>= \test2 -> put (test2 ++ x) >> return "test" 나는 거의이

7열

3답변

학습 운동을 찾고 있습니다.이 모나드를 구현하십시오.

새로운 프로그래밍 과목에 대해 배울 때 나는 보통 다음과 같은 패턴을 따른다. 나는 그것에 대해 읽었고, 이해하고 몇 가지 예제를 작성하여 코드를 . 나는 모나드에 대해 많이 읽었으며 이해하고 받아 들일 확신이 있습니다. 이제는 실제로 이해할 수있는 몇 개의 모나드를 코딩하고 다양한 유형의 코드를 구현하기 위해 무엇이 필요한지 알아 내려고합니다. 문제는 많