IO Int 값을 기준으로 목록을 정렬하는 방법

Question

나는 정렬 할 [(String, [String], IO Int)] 목록이 있습니다. sortBy (\x -> ...) list을 사용하려면 IO를 사용하여 IO Int의 내부 값을 가져와야합니다. 즉, Ordering을 반환 할 수 없으며 함수에만 IO Ordering을 반환 할 수 없습니다. 목록을 정렬 할 수있는 방법이 있습니까?

Answer 1

각 튜플의 세 번째 요소는 IO Int이므로이 값은 외부 세계에 따라 다릅니다. 따라서 정렬 된 목록의 주문은 외부 세계에 따라 다릅니다. 따라서 IO Int 값으로 정렬되는 [(String, [String], IO Int)]을 만들 수있는 방법이 없습니다.

당신 수 할이 IO [(String, [String], Int)]의 값을, 그리고 당신에게 Int으로 분류 목록을 얻을 것입니다 다른 IO [(String, [String], Int)]을주고IO 모나드에 sortBy 기능 를 들어 올립니다. 그건 순수한 목록이 아니지만, 임의의 순수한 계산을 수행하기 위해 다른 순수 함수를 IO 모나드에 올릴 수 있습니다. 이 같은

뭔가 할 것 :

import Control.Applicative 
import Data.List 

l :: [(String, [String], IO Int)] 
l = [("Foo", [], return 2), ("Bar", [], return 1)] 

f :: Monad m => (a, b, m c) -> m (a, b, c) 
f (x, y, ioz) = ioz >>= \z -> return (x, y, z) 

sl = sortBy (\(x, y, z) (x', y', z') -> compare z z') <$> mapM f l 

가 분명하지 않을 수도 있기 때문에 나는이 그들이 원래 목록에 나타난 순서대로 IO Int 작업을 실행됩니다, 언급해야한다. 하지만 그들을 정렬하려면 Int 값을 얻기 위해 실행해야하며 일부 순서로 실행해야합니다.