Haskell'de üretici ve tüketici sorunu mu var?

Question

Üretici/tüketiciyi Haskell gibi fonksiyonel bir programlama dilinde nasıl uygulayabiliriz? ve bir Imperative dilinden nasıl farklı olacak? Fonksiyonel programlama dilini anlamam ilkeldir. Herhangi bir yardım takdir edilecektir. Bir kanal boyunca geçen önleyici konuları ve mesajları kullanarak

Answer 1

bir üretici/tüketici soyutlama:

import Data.Char 
import Control.Concurrent 
import Control.Concurrent.Chan 

main = do 
    c <- newChan 
    cs <- getChanContents c  -- a lazy stream of events from eventReader 
    forkIO (producer c)   -- char producer 
    consumer cs 

    where 
    -- thread one: the event producer 
    producer c = forever $ do 
     key <- getChar 
     writeChan c key 

    -- thread two: the lazy consumer 
    consumer = mapM_ print . map shift 
     where shift c | isAlpha c = chr (ord c + 1) 
          | otherwise = c 

için Erlang benzer bir model kullanmak. Tüketici ve yapımcıyı temsil eden iplikler ve bunların her biri eşzamansız olarak hareket eden paylaşılan bir mesajlar borusu.

Answer 2

dons'un mükemmel yanıtına, buradaki temel mekanizmanın, MVar adı verilen bir şey olduğunu ve bir değer için zorunlu, paralel bir kapsayıcı olduğunu ekleyeceğim. MVar'ın içine ve dışına "koyarsın" ve "çıkar". Boş bir MVar bloğu almak, tam bir tane gibi. Aynı anda bir iletişim mekanizması ve bir senkronizasyon mekanizması. Monsoon/* t projesinin bir parçası olarak Arvind tarafından icat edildiğine inanıyorum. Paralel Haskell'in pH diyalektlerini açıklayan güzel bir book by Nikhil and Arvind var. Fikirlerin çoğu GHC'ye kabul edildi ve kitap okumaya değer.

Answer 3

Norman ve Don tarafından belirtilen durumsal yaklaşımların yanı sıra, normal işlev uygulaması ve tembelliği üretici ve tüketici olarak da düşünebilirsiniz. İşte

doğal sayılar için bir üreticidir:

nats = [1..] 

Ve burada bu sayıların karelerini hesaplayan bir tüketici Python'da

squares = map (\x -> x * x) nats 

böyle yield return olarak C# Üreticileri veya jeneratörler genellikle şöyle ifade edilebilir: Haskell'deki basit tembel listeler.