Haskell Websunucusu: Uygulama durumuna

Question

Ben web app-imsi hizmetlerini geliştirerek Haskell daha aşina almaya çalışıyorum

sürdürmek.

Bir web-sunucu geliştiriyorum Say ve istekler arasında kalıcı durumunu tutmak istiyorum; örneğin bir sayaç. Haskell şeyleri yapmanın yolu nedir?

benim Google aramasında bu discussion geldi. Önerilen çözüm, yapmamanın iyi bir örneğine benziyor.

Bir fikir ben istek işleyicisi bir Mvar almak başlamıştı vardı:

requestHandler :: MVar State -> IO (Maybe Response) 

işleyicisi kaydederken, bir MVAr ile curried olabilir ana oluşturulan.

daha iyi bir yolu olmalı. Yardım edemiyorum ama bu soruna işlevsel olmayan bir şekilde yaklaştığımı düşünüyorum.

Teşekkürler! verir Muhtemelen acid-state istiyorum

Answer 1

, bu tam olarak: Haskell veri türleri için kalıcı hal. Bağladığım belgeler bile istediğin gibi bir talep sayacıyla başlar. MVars kalıcı değildir

Not; Sunucu yeniden başlatıldığında sayaç sıfırlanır. Bu aslında istediğiniz davranışsa, bunun yerine bir TVar kullanmanızı öneririm; Bu sayede sayacı atomik olarak kilitleri olmadan veya onlarla birlikte gelen kilitlenme riskini sıfırlayabilirsiniz.

Answer 2

Kalıcılığı ve TVarları beğenirseniz, aynı semantiğe ve TV dizileriyle aynı kullanım modellerine sahip DBRefs'u kullanabilirsiniz. Durum için benzersiz bir anahtar tanımlamanız ve otomatik dosya kalıcılığına sahip olmanız gerekir. Veritabanı kalıcılığı için bir IResource örneği tanımlamak gerekir.

import Data.Map as M 
import Data.TCache 
import Data.TCache.DefaultPersistence 

type Counter= Int 
type SessionId :: String 
data State= State SessionId Counter deriving (Read, Show, Typeable) 

instance Indexable State where 
     key (State k _)= k 

requestHandler :: Request -> DBRef State -> IO (Maybe Response)