Changes between Version 14 and Version 15 of ExplicitTypeApplication


Ignore:
Timestamp:
Jun 3, 2013 3:37:14 PM (2 years ago)
Author:
Hamidhasan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitTypeApplication

    v14 v15  
    141141actually need to use it.
    142142
     143=== Other Syntax Proposals ===
     144Here are some other examples of syntax that could be used for explicit type application:
     145{{{
     146f :: forall a b c. a -> b -> c -> (a, b, c)
     147
     148f @Int @Bool @Char 3 True 'a'      {- Similar to above -}
     149f {Int} {Bool} {Char} ...          {- Agda; potential record conflict -}
     150@f Int Bool Char ...               {- Coq -}
     151#f Int Bool Char ...
     152}}}
     153
    143154=== Syntax for promoted datatypes ===
    144155With `-XPolyKinds` on, we can also match/apply kind arguments. This introduces the