Bazen bu problemle karşılaşıyorum ve sonunda ortak bir çözüm ya da model olup olmadığını sormak istedim. İç içe geçmiş bir bağlam başvurusunda bir tür değişkeni bir dış bağlamdan tür yapmak mümkün mü?
Ben Haskell basit ışın-izleyici yazmaya çalışıyorum. Bir ışın bunları kesiştiği belirlemek için bir fonksiyonu olan, mevcut yüzeylerin çeşitli temsil eden bir typeclass tanımlamak istediği: Ambiguous
İşte ibrenin uyum dönmek için basit bir fonksiyon var: {-# LANGUAGE ScopedTypeVariables #-}
import Foreign.Ptr (Ptr)
import Foreign.Storable (Storable, alignment)
main = return()
ptrAlign1 :: (