كم تسرب الماء؟ نقوم بحل المشكلة عن طريق المشي على سطح القمر على هاسكل

تخيل أنك تنظر إلى جدران بارتفاعات مختلفة في الملف الشخصي. إنها تمطر ، في مكان ما يبقى الماء ، في مكان ما يتدفق على حواف الجدار بسبب الاختلاف في الارتفاع. يكمن التحدي في تحديد كمية المياه المتبقية بين الجدران.

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 }

نحن نتقن التمشي على سطح القمر

"Moonwalk" (من ممشى القمر الإنجليزي) ، أو "الانزلاق للخلف" ، هو أسلوب رقص عندما يتحرك راقص إلى الوراء ، بينما يحاكي حركة ساقيه كما لو كان يسير إلى الأمام. (ويكيبيديا).

-- |        
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