कितना पानी लीक हुआ है? हम हास्केल पर एक चाँदवॉक द्वारा समस्या का समाधान करते हैं

कल्पना कीजिए कि आप प्रोफ़ाइल में विभिन्न ऊंचाइयों की दीवारों को देख रहे हैं। कहीं बारिश हो रही है, कहीं पानी बना हुआ है, कहीं ऊंचाई के अंतर के कारण यह दीवार के किनारों पर बह रहा है। चुनौती यह निर्धारित करने की है कि दीवारों के बीच कितना पानी रहता है।

type Height = Int

walls :: [Height]
walls = [2,5,1,2,3,4,7,7,6]

1. वर्तमान दीवार की ऊंचाई
2. सबसे ऊँची बाईं दीवार की ऊँचाई
3. सबसे ऊँची दाहिनी दीवार की ऊँचाई

type Volume = Int

--|        
themax :: Height -> State Height Height
themax h = modify (max h) *> get

-- |            
highest_left :: [Height] -> [Height]
highest_left walls = evalState (traverse themax walls) 0

अनुलोम विलोम करने वाले कोष

newtype Backwards f a = Backwards { forwards :: f a }

-- |          liftA2  <**>
instance Applicative t => Applicative (Backwards t) where
        pure = Backwards . pure
	Backwards f <*> Backwards x = Backwards ((&) <$> x <*> f)

f $ x = x & f

newtype Reverse f a = Reverse { getReverse :: f a }

हम मूनवॉक के मास्टर हैं

"मूनवॉक" (अंग्रेजी मूनवॉक से), या "पीछे की ओर खिसकना", एक नृत्य तकनीक है जब एक नर्तक अपने पैरों की गति का अनुकरण करते हुए आगे बढ़ता है, जैसे कि आगे चलना। (विकिपीडिया)।

-- |        
themax :: Height -> State Height Height
themax h = modify (max h) *> get

-- |    ,    :
highest_right :: [Height] -> [Height]
highest_right walls = getReverse $ evalState (traverse themax $ Reverse walls) 

walls = [2,5,1,2,3,4,7,7,6]
let hls = highest_left walls = [2,5,5,5,5,5,7,7,7]
let hrs = highest_right walls = [7,7,7,7,7,7,7,7,6]
sum $ zipWith3 (\l x r -> min l r - x) hls walls hrs