Changes between Version 14 and Version 15 of ExplicitTypeApplication


Ignore:
Timestamp:
Jun 3, 2013 3:37:14 PM (22 months 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