ヒンドレーミルナー型システムを持つrunST

Question

ハスケルのSTモナドが正しく理解されている場合、runSTはモナドをエスケープする際に計算が他のスレッドを参照しないように賢明な方法でランク2型を使用します。

私はHindley-Milnerタイプのシステムでおもちゃの言語を使用しています。私の質問は次のとおりです.STモナドが安全になるようにrunSTアプリケーションを入力するアドホックルールを使用してHMタイプシステムを拡張できますか？脱税可能、ランク2タイプを導入しないで？

より正確には、runSTはタイプforall s a. ST s a -> a（すなわち、ランク-1）を持っているだろうと型付け規則が最初のHMは、LET-式での型を一般と同じ方法で計算式を一般化しようとしますが、あれば型エラーを引き上げますs型変数がバインドされています。

上記は、バニラHMと比較して許容されるプログラムのみを制限しているので、音が良いように見えますが、わかりません。これは効果がありますか？質問へのコメントは完全には明らかではありません念の

Answer 1

は、あなたが必要となる判断は

これはHindley-Milnerが付属して他の通常のタイピングの判断と併せて、もちろんです。

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