Changes between Version 10 and Version 11 of DependentHaskell
 Timestamp:
 May 27, 2014 2:42:52 PM (21 months ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

DependentHaskell
v10 v11 68 68 Note that the behavior of `F` depends on the ''kind'' of its argument, `k`. This is an example of a nonparametric type function. Looking at the kind, `k > k`, one would expect `F` to be the identity; yet, it is not. 69 69 70 Thus, we would want to distinguish `pi k. k > k` (the kind of `F`) and `forall k. k > k` (the kind of a typelevel polymorphic identity). This distinction does not affect erasure or phase, but it does affect how a quantifiee can be used. Furthermore, this keeps term classifiers more in line with type classifiers. 71 70 72 == Open design questions == 71 73