Changes between Version 2 and Version 3 of ObjectiveC/TypeSafeMessaging


Ignore:
Timestamp:
Sep 7, 2010 12:46:15 AM (4 years ago)
Author:
pumpkin
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ObjectiveC/TypeSafeMessaging

    v2 v3  
    11= Using generalized data families for selectors = 
    22 
    3 A simple way of representing messages that classes respond to is using a GADT data family indexed (as a type function) by the class that responds to the messages and (as a GADT output index) by the function type equivalent to the selector (but maybe we can omit the receiver and treat it implicitly): 
     3A simple way of representing messages that classes respond to is using a GADT data family indexed (as a type function) by the class that responds to the messages and (as a GADT output index) by the function type equivalent to the selector (but we can omit the receiver): 
    44 
    55{{{