하스켈의 상태 생성 정수

Question

정수를 생성하는 하스켈 함수를 작성하고 싶습니다. 이 함수는 처음 호출 될 때 1을 반환 한 다음 함수가 호출 될 때마다 다음 정수를 반환합니다.

파이썬에서 나는 발전기의 아이디어를 사용했습니다 - 정수 생성기는 다음과 같이 보일 수 있습니다 :

def intGen(): 
    x = 1 
    while True: 
     yield x 
     x += 1 

integer = intGen() 

# Use the generator 
next(integer) # 1 
next(integer) # 2 
next(integer) # 3 

어떻게 하스켈에서이 같은 작업을 수행합니까? 나는 아마도 모나드 모나드가 필요할 것임을 알고 있지만, 그것을 설정하는 방법에 대해서는 잘 모르겠습니다. 나는 모나드에 상당히 새로운 사람이다. IORef의 사용

Answer 1

, 당신은

import Data.IORef 
import Control.Monad ((=<<)) 

type IntGen = IORef Int 

intGen :: IO IntGen 
intGen = newIORef 1 

next :: IntGen -> IO Int 
next gen = do 
    val <- readIORef gen 
    writeIORef gen $ val + 1 
    return val 

main :: IO() 
main = do 
    integer <- intGen 
    -- f =<< m == m >>= f 
    print =<< next integer 
    print =<< next integer 
    print =<< next integer 

처럼 뭔가를 할 수 아니면 순수하게이 작업을 수행 할 State 모나드를 사용할 수 있습니다 : 두 번째에서

import Control.Monad.State 

next :: Monad m => StateT Int m Int 
next = do 
    val <- get 
    put $ val + 1 
    return val 

app :: StateT Int IO() 
app = do 
    let stprint = liftIO . print 
    stprint =<< next 
    stprint =<< next 
    stprint =<< next 

main :: IO() 
main = void $ runStateT app 1 

을 초기 값은 1입니다 runStateT에 제공되므로 다른 값에서 시작할 수 있다는 점에서보다 유연합니다.

---

일반적으로 느리게 생성 된 정수 값이 필요할 때 목록이 이동하는 방법입니다. 예를 들어, 내가

def processFile(directory): 
    integer = intGen() 
    for fname in os.listdir(directory): 
     full_fname = os.path.join(directory, fname) 
     if os.path.isfile(full_fname): 
      i = next(integer) 
      new_fname = '{}-{}'.format(i, fname) 
      os.rename(full_fname, os.path.join(directory, new_fname)) 

같은 것을 가질 수 있지만 하스켈에서 내가

import Control.Monad 
import System.Directory 
import System.FilePath 

processFiles :: FilePath -> IO() 
processFiles directory = do 
    contents <- getDirectoryContents directory 
    files <- filterM doesFileExist $ map (directory </>) contents 
    forM_ (zip [1..] files) $ \(i, fname) -> do 
     let newFName = show i ++ "-" ++ fname 
     renameFile (directory </> fname) (directory </> newFName) 

Answer 2

하스켈 같은 것을 쓸 원합니다 것은 순수 함수는 같은 인수에 다른 데이터를 생성 할 수 없습니다.

실제로 사용하려면 IORef a 및 STRef a과 같이 IO a 또는 ST a 데이터를 사용해야합니다.

하지만 다른 방법으로 순수 방법을 사용할 수 있습니다

intGen = [1 .. 10] 

intRes = map next intGen