tôi đã viết chương trình nhỏ trong Haskell để đếm tất cả ocurences các giá trị Int trong Tree sử dụng Nhà nước Monad với Vector: import Data.Vector
import Control.Monad.State
import Control.Monad.Id
Gần đây tôi đã bắt đầu xem các thư viện lõi trên Hackage, và có một thành ngữ định kỳ mà tôi không hiểu. Dưới đây là ví dụ từ số ST module: instance Monad (ST s) where
{-# INLINE (>>=) #-}
(
này gần đây SO question thúc đẩy tôi viết một thi đua không an toàn và tinh khiết của đơn nguyên ST trong Haskell, một phiên bản sửa đổi một chút trong đó bạn có thể xem dưới đây: {-# LANGUAGE DeriveF