list procedure

list procedure

[Damien Mattei]

[-- Attachment #1: Type: text/plain, Size: 551 bytes --]

hello,
at some point i needed to write something like that:
(list 'bracket-applynext
   prefix
   (cons list (parse-square-brackets-arguments (my-read-delimited-list
neoteric-read-real #\] port))))

and it resulted in sort of :

(bracket-applynext M_i_o (Type list j (+ i 1)))
which would surely result in error later...

why in Kawa this :

#|kawa:3|# list
Type list

instead of something <procedure list> ?
Damien

note : in my case i can (quote list) as it is for writing code evaluated
later and the ' will disappear in the display output i hope.

Re: list procedure

[Per Bothner]

On 12/6/23 12:56, Damien Mattei via Kawa wrote:
> why in Kawa this :
> 
> #|kawa:3|# list
> Type list
> 
> instead of something <procedure list> ?

Because in Kawa the identifier 'list' is bound to a Type.
This allows you to use ::list as a type-specifier.

If you apply a type as if it were procedure, you apply its constructor.
So it works out.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/

Re: list procedure

[Damien Mattei]

[-- Attachment #1: Type: text/plain, Size: 800 bytes --]

ok i understand it is just a display, when it show "Type list" it is also
the procedure, anyway if my code had output #<procedure list> this should
have not worked as no scheme reader's understand that #<procedure list> is
the list procedure.

Damien

On Wed, Dec 6, 2023 at 10:37 PM Per Bothner <per@bothner.com> wrote:

>
>
> On 12/6/23 12:56, Damien Mattei via Kawa wrote:
> > why in Kawa this :
> >
> > #|kawa:3|# list
> > Type list
> >
> > instead of something <procedure list> ?
>
> Because in Kawa the identifier 'list' is bound to a Type.
> This allows you to use ::list as a type-specifier.
>
> If you apply a type as if it were procedure, you apply its constructor.
> So it works out.
> --
>         --Per Bothner
> per@bothner.com   http://per.bothner.com/
>