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

[REBOL] Re: Updates to hof script

From: g:santilli:tiscalinet:it at: 16-Nov-2002 16:10

Hi Jan, On Saturday, November 16, 2002, 1:26:56 PM, you wrote: JS> I hope you don't mean: using -> instead of the -+. That's what happen when I don't try things on the REBOL console before posting. :-) Hmm, the closest representation is probably:
>> #-->
== #--> So you get:
>> [(a b #--> c)]
== [(a b #--> c)] JS> This cosmetic change aside, there is a problem JS> with your suggestion. More complex types, which JS> I hope to avoid at least at this stage, need JS> so-called type constructors, such as 'Ket, as in: Hmm, I understand. A wild idea could be using paths, such as Ket/a. Or, one could use a notation that is more similar to the parse dialect. I.e. like this: (a -+ b -+ c) becomes (a b #--> c) while ([a] -+ [b] -+ [c]) becomes ([some a] [some b] #--> [some c]) and you can also write something like: a: [integer! | [some integer!]] (a #--> integer!) and so on... Just my two cents, Gabriele. -- Gabriele Santilli <[g--santilli--tiscalinet--it]> -- REBOL Programmer Amigan -- AGI L'Aquila -- REB: