ST-монада , изначально разработанный Launchbury and Peyton Jones , позволяет программистам Haskell писать императивный код (с изменяемым переменные, массивы и т. д.) при получении чистого интерфейса для этого кода. Более конкретно, полиморфный...

Я пытаюсь разработать структуру данных для следующей ситуации. Структура графика Я планирую иметь граф узлов с невзвешенными направленными ребрами: Graph = [Node] Каждый узел имеет: Некоторое внутреннее (постоянное) состояние TBD...

Изменяемые векторы в Haskell имеют три мутатора на уровне элемента: read :: PrimMonad m => MVector (PrimState m) a -> Int -> m a write :: PrimMonad m => MVector (PrimState m) a -> Int -> a -> m () swap :: PrimMonad m =>...

Я решил упростить свой код, чтобы увидеть, какие условия вызывают ошибку. Я начинаю с простой вложенной «s», похожей на ST s (STArray s x y) , вот так: {-# LANGUAGE RankNTypes #-} import Control.Monad.ST import Control.Applicative data Foo s =...

Я только что опубликовал этот код: import qualified Data.Vector.Unboxed as VU import qualified Data.Vector.Algorithms.Intro as VAlgo argSort :: (Ord a, VU.Unbox a) => VU.Vector a -> VU.Vector Int argSort xs = VU.map fst $ VU.create $ do...