Mailing List Archive: 49091 messages
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search

[REBOL] Re: The Rebol type system

From: joel:neely:fedex at: 7-Nov-2001 8:57

Hi, Maarten, Maarten Koopmans wrote:
> Hi Joel, > > datatype! types (so I can make op2! types). > op! types >
Yes, I'd sure like to have a MAKE OP! option. One might imagine that it would require a two-argument function (which could be checked at definition time) and create a new binary operator so that hypotenuse: make op! function [x [number!] y [number!]] [ square-root x * x + (y * y) ] would allow one subsequently to write z: 3 hypotenuse 4 I have no idea how hard this would be for RT, but it appears that the lexical part of the work is already done...
>> alias '* "times"
== times
>> 3 times 4
== 12
> the next 500 types I can find a use for. > > Yes there are languages that allow you this that I use sometimes: > - Haskell > - Objective Caml (a ML dialect) >
Right! I was expecting to see some thing in the Haskell/ML arena. (Hardly garden-variety, J. Random Programmer languages, though!) I wonder if there are enough bits in the type field to support very many additions... (ONLY KIDDING! ;-) -jn- -- This sentence contradicts itself -- no actually it doesn't. -- Doug Hofstadter joel<dot>neely<at>fedex<dot>com