forall
Do czego służy słowo kluczowe "forall" w Haskell/GHC?
Zaczynam rozumieć, w jaki sposób słowo kluczowe forall jest używane w tak zwanych "typach egzystencjalnych", takich jak:
da ... rzebowałem obu odpowiedzi, aby to zrozumieć do tego stopnia, że Nie zostawia mnie z lekkim strachem, gdy widzę to w podpisie.
forall w Scali
Jak pokazano poniżej, w Haskell, możliwe jest Przechowywanie w liście wartości z heterogenicznymi typami z pewnymi ograniczen ... [ShowBox]
heteroList = [ShowBox (), ShowBox 5, ShowBox True]
Jak mogę osiągnąć to samo w Scali, najlepiej bez podtypowania?
Co oznacza "istnieje" w systemie typu Haskell?
Walczę o zrozumienie słowa kluczowego exists w odniesieniu do systemu typu Haskell. O ile wiem, nie ma takiego słowa kluczowe ... . S. Nie jestem całkiem nowicjuszem w Haskell (może jak drugoklasista), ale moich podstaw matematycznych tych rzeczy brakuje.