withFile yazar <strong>withFile</strong> yöntemin aşağıdaki uygulamasını sağlar, Haskell bir <a href="http://learnyouahaskell.com/input-and-output#files-and-streams">haskell tutorial</a> ardından

Question

uygulanan Nasıl:

withFile' :: FilePath -> IOMode -> (Handle -> IO a) -> IO a 
withFile' path mode f = do 
    handle <- openFile path mode 
    result <- f handle 
    hClose handle 
    return result 

Ama neden bir return içinde result sarmak gerekiyor? Sağlanan işlev f zatentüründe olduğu gibi Handle -> IO a türünde görülebilir mi?

Answer 1

Haklısınız: işlev böyle yazılmıştır eğer öyleyse f zaten bir IO verir:

withFile' path mode f = do 
    handle <- openFile path mode 
    f handle 

dönüş gerek olmazdı. Sorun hClose handle arasındaki gelir, bu nedenle ilk sonucu depolamak zorunda:

result <- f handle 

ve <- yapıyor IO kurtulur. Yani return onu geri koyar.

Answer 2

Bu, Haskell'i ilk denediğimde beni şaşırtan zor küçük şeylerden biridir. Açıklamada <- yapısının anlamını yanlış anlıyorsunuz. result <- f handle "f handle değerini result olarak atama" anlamına gelmez; "f handle monadik değerinden" ayıklanan "değerine" result10 "bağlamanız gerekir (burada" ayıklama ", kullandığınız belirli Monad örneğiyle tanımlanan bir şekilde gerçekleşir, bu durumda IO monad).

yanı, bir Monad typeclass m, <- ifadesi sağından tip m a bir ifade ile sol taraftaki tip a bir değişken alan ve bir değere değişken bağlanır. Böylece, örneğinizde, result <- f handle ile f result :: IO a, result :: a ve return result :: IO a türlerine sahibiz.

PS do-notation, <-'a tam bir karşılık olarak çalışan let (bu durumda in anahtar sözcüğü olmadan) özel bir biçime sahiptir. Yani olarak örnek yazabilirsiniz: let basit atama, çünkü bu durumda

withFile' :: FilePath -> IOMode -> (Handle -> IO a) -> IO a 
withFile' path mode f = do 
    handle <- openFile path mode 
    let result = f handle 
    hClose handle 
    result 

, result tipi IO a olduğunu.