[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: http://web.tiscali.it/rebol/index.r