Dieses Programm: {-# LANGUAGE RankNTypes, ImpredicativeTypes #-}
import qualified Data.Vector.Mutable as MV
import qualified Data.Vector as V
import Control.Monad.ST
import Control.Monad.Primitiv
Das Hindley-Milner-System von OCaml erlaubt keine imprädikative Polymorphie (à la System-F), außer durch eine etwas jüngere Erweiterung für Datensatztypen. Gleiches gilt für F #. Es ist jedoch manchma
Ich habe gesehen, was ich mit ImpredicativeTypes machen kann und wollte sehen, was genau ich damit machen kann. Als ich zu dem kam, was ich fühle, ist ein seltsames Verhalten, wenn es um ihre Interakt