G'day all.
I've been toying with an idea for a small language extension, and I
was curious what you all think of this.
As a motivating example, consider the following standard typeclass:
class Bounded a where
min :: a
max :: a
This is an example of what I refer t
Planning to join the ICFP Programming Contest this week-end? Register your
email address NOW, to receive announcements from the organizing team,
including the problem as soon as it is released!
Just visit icfpcontest.org and click on "Contest Mailing List".
John Hughes
__
Keith Wansbrough <[EMAIL PROTECTED]> wrote in article <[EMAIL PROTECTED]> in
gmane.comp.lang.haskell.general:
> module TypedFM where
>data FM k -- Abstract; finite map indexed bykeys of type k
>data Key k a -- Abstract; a key of type k, indexing a value of type a
>
>