ハスケルはIO UTCTimeを比較しています

Question

私はハスケルを完全に新しくしており、私はこの問題に対する答えを見つけることができません。多分私は間違ったことを探していたでしょう。

私は2つのファイルパスとIO UTCTimeタイムスタンプを取ることになっている小さなスクリプトに問題があります。アイデアは、ディレクトリが変更されたかどうかを5秒ごとにチェックすることです。私は簡単にするためにスクリプトの詳細を省略しています。私はコンパイルエラーを取得しています

import Data.List 
import Control.Monad 
import Control.Concurrent 
import System.Directory 
import Data.Time.Clock 

main = doLoop "FilePath" "FilePath" getCurrentTime 

doLoop lastPath currentPath lastModified = do 
    modified <- getModificationTime currentPath 
    if (lastModified /= modified) 
     then print "Success" 
     else do threadDelay 5000000 
       doLoop "FilePath" "FilePath" lastModified 

：それはつまるところgetCurrentTimeはちょうどgetCurrentTimeのように、マニュアルに従ってIO UTCTime生成することになっている

Couldn't match expected type `UTCTime` 
with actual type `IO UTCTime` 
In the third argument of `doLoop`, namely `getCurrentTime` 

。私はここで何が欠けていますか？

Answer 1

IO UTCTimeは、タイムスタンプのタイプではありません。 のタイプで、タイムスタンプを与えることができるアクションです。これは大きな違いです。 doLoopはその最後の引数としてIO UTCTimeを受け入れるすることは、このように、あなたが欲しいのは、このようなタイプの署名を書き出すエラーが実際に起こっている場所を見つけるためにして文書化することはおそらく常に

doLoop :: FilePath -> FilePath -> UTCTime -> IO() 

である意味がありませんあなたの意図！

getCurrentTimeがからアクションであるため、何その後、動作しませんが、doLoop "FilePath" "FilePath" getCurrentTimeではタイムスタンプではなく、実際のタイムスタンプを取得します。 （それだけで単一のタイムスタンプであれば、それはほとんど現在ことができなかった時はいつでもあなたは、それを、それを可能性が呼んで？）そこで

あなたはその後、doLoopに渡すことができ、実際のタイムスタンプを取得するために評価にこのアクションを必要とします。最も簡単な方法は、doブロックにあります。もっと簡潔

main = do 
    t <- getCurrentTime 
    doLoop "FilePath" "FilePath" t 

、あなたはまた、これらの2つのIOアクションKleisli-構成することができます。

main = doLoop "FilePath" "FilePath" =<< getCurrentTime 

...そのdo構文はにdesugars何実際には、とにかく