Hypothesis

1 Matching Annotations

Aug 2020
toraritte.github.io toraritte.github.io

Untitled document

1
1. toraritte 20 Aug 2020
  
  in Public
  
  Original post is here.
  
  This explanation should be combined with 24 Days of GHC Extensions: Rank N Types (see related hypothes.is note).
  
  haskell forall rank n types parametric polymorphism universal quantification explicit universal quantification
Visit annotations in context

Tags

explicit universal quantification

parametric polymorphism

universal quantification

forall

haskell

rank n types

Annotators

toraritte

URL

toraritte.github.io/saves/fyodor-soikin_forall-is-the-type-level-lambda.html