하스켈 : 샘플에 정의된다</p> <pre><code>sample :: Int -> [a] -> RVar [a] </code></pre> <p>의 측면에서</p> <pre><code>mySample :: StdGen -> Int -> [a] -> [a] </code></pre> <p>: 내가 좋아하는 타입 서명으로 함수를 작성하려면 어떻게 Data.Random

Question

에 RVAR에서 값을 얻기 Data.Random.Extras? 여기에서 sample은 주어진리스트에서 임의의 sublist를 반환하는 함수이다.

Answer 1

the documentation에 따르면,이 작업을해야합니다 : 컴파일 할 때

mySample :: StdGen -> Int -> [a] -> [a] 
mySample g n xs = fst $ sampleState (sample n xs) g 

는 그러나, 나는 중복 인스턴스 오류를 얻을. 그래도 이것을 컴파일 할 수 있습니다.

mySample :: StdGen -> Int -> [a] -> [a] 
mySample g n xs = evalState (runRVar (sample n xs) StdRandom) g