From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,99ab4bb580fc34cd X-Google-Attributes: gid103376,public From: fjh@murlibobo.cs.mu.OZ.AU (Fergus Henderson) Subject: Re: Q: access to subprogram Date: 1996/07/28 Message-ID: <4tf60v$5m2@mulga.cs.mu.OZ.AU>#1/1 X-Deja-AN: 170628014 references: <4rb9dp$qe6@news1.delphi.com> <4t9un9$imn@goanna.cs.rmit.edu.au> organization: Comp Sci, University of Melbourne newsgroups: comp.lang.ada Date: 1996-07-28T00:00:00+00:00 List-Id: ok@goanna.cs.rmit.edu.au (Richard A. O'Keefe) writes: >This is like "type classes" as found in Mercury and Haskell. Mercury doesn't have type classes, I'm afraid, only pure parametric polymorphism. Maybe in some later version... (You can do the same sort of things using parametric polymorphism by explicitly passing the necessary operations as higher-order predicates or functions, but it's a bit more cumbersome than Haskell's type classes.) -- Fergus Henderson | "I have always known that the pursuit WWW: | of excellence is a lethal habit" PGP: finger fjh@128.250.37.3 | -- the last words of T. S. Garp.