Changes between Initial Version and Version 1 of Ticket #472


Ignore:
Timestamp:
Oct 20, 2006 2:37:09 PM (9 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 }}}