runST

Question

Haskell'deki ST monadını doğru bir şekilde anlarsam, runST, bir hesaplamanın tekdüzeden kaçarken başka bir iş parçacığına başvurmadığından emin olmak için sıralı-2 türleri kullanır.

Bir Hindley-Milner tipi sisteme sahip bir oyuncak dilim var ve sorum şu: H tipi sistem, runST uygulamalarını yazmanız için ad-hoc kuralıyla genişletmek ve böylece ST monad güvenli bir şekilde kullanılabilir rank-2 türlerini tanıtmadan kaçabilir, ? Daha doğrusu

, runST tip forall s a. ST s a -> a olurdu (yani rank-1) ve ilk HM let-ifadelerde türlerini genelleştirir aynı şekilde hesaplama türünü genelleme ama eğer bir tür hatası yükseltmek için çalışacağını söyledi yazarak kuralı s tip değişkeninin bağlı olduğu bulunmuştur.

yukarıda sadece kabul kısıtlarsa programları vanilya HM kıyasla, bu yüzden sesi gibi görünüyor, ama ben emin değilim. Bu işe yarar mı? sorusuna yorumlar tamamen net değildir Ne olur ne

Answer 1

, sen gerekir yargı

Bu Hindley-Milner ile gelen diğer olağan yazarak kararları ile birlikte tabii olmasıdır.

newSTRef :: a -> ST s (STRef s a) 
readSTRef :: STRef s a -> ST s a 
writeSTRef :: STRef s a -> a -> ST s() 
...