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
Dizge olarak verilen Haskell ifadesinin türünün bir temsilini almak için (hızlı ve kirli) bir yönteme ihtiyacım var. Ancak, dokümantasyon oldukça hızlı beni kaybeder - Kullanım GHC API: Şu anda 3 seçe
içinde uygulanan türden çıkarımlar C++, Damas-Hindley-Milner stil tipi çıkarımda, tercihen modern C++ teknikleri kullanılarak uygulanan bir uygulama var mı?