Changes between Initial Version and Version 1 of Ticket #472


Ignore:
Timestamp:
Oct 20, 2006 2:37:09 PM (7 years ago)
Author:
igloo
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #472

    • Property Component changed from None to Compiler (Type checker)
    • Property Test Case changed from to N/A
    • Property Difficulty changed from to Unknown
    • Property Architecture changed from to Unknown
    • Property Milestone changed from to _|_
    • Property Operating System changed from to Unknown
  • Ticket #472 – Description

    initial v1  
    1 {{{ 
    2 see "Supertyping Suggestion for Haskell" 
    3 [url]http://repetae.net/john/recent/out/supertyping.html[/url] 
     1see 
     2[http://repetae.net/john/recent/out/supertyping.html Supertyping Suggestion for Haskell] 
    43 
    54example: 
    6 [code] 
     5{{{ 
    76class Num a <= Group a where 
    87        (+) :: a -> a -> a  
    98        negate :: a -> a 
    10 [/code] 
     9}}} 
    1110 
    1211apart from multiple inheritance, it could work like this: 
    1312 
    14 [code] 
     13{{{ 
    1514import Prelude hiding ((+),negate) 
    1615import qualified Prelude ((+),negate) 
     
    2322        (+) = (Prelude.+) 
    2423        negate = Prelude.negate 
    25 [/code] 
     24}}} 
    2625 
    2726- coeus_at_gmx_de 
    28  
    29 }}}