DS
в кейсах и летах точно не работает
У меня и в объявлении функций не работает.
- The syntax
a # p -> b is not yet implemented. You can use GHC.Exts.FUN p a b instead. However, be aware of the next point.- Multiplicity polymorphism is incomplete and experimental. You may have success using it, or you may not. Expect it to be really unreliable.
- There is currently no support for multiplicity annotations such as
x :: a # p, \(x :: a # p) -> ....- All
case, let and where statements consume their right-hand side, or scrutiny, Many times. That is, the following will not type check:g :: A #-> (A, B)This can be worked around by defining extra functions which are specified to be linear, such as:
h :: A #-> B #-> C
f :: A #-> C
f x =
case g x of
(y, z) -> h y z
g :: A #-> (A, B)- There is no support for linear pattern synonyms.
h :: A #-> B #-> C
f :: A #-> C
f x = f' (g x)
where
f' :: (A, B) #-> C
f' (y, z) = h y z
-
@-patterns and view patterns are not linear.- The projection function for a record with a single linear field should be multiplicity-polymorphic; currently it's unrestricted.
- Attempting to use of linear types in Template Haskell will probably not work.
