2
Evrensel / varoluşsal niceleme?
Tiplerin evrensel ve varoluşsal nicemlemesinin amacını anlamak için uğraşıyorum. Yapılar hesabına dayalı bir oyuncak dili yazarak oynuyorum . Daha iyi bir anlayış edinmeme yardımcı olmak için Morte ve Henk hakkında okuyorum . CoC'nun neden hem lambda hem de forall soyutlaması olduğunu anlamıyorum. ( ∀ X : bir . B )( …