World: r3wp

and have constants be real types that you can check for, you'd be 
able to stretch simple dialects a lot further

Supporting first class constants would require to duplicate all existing 
types... I was thinking recently about adding a PROTECT keyword that 
would allow to mark any variable as immutable, so they would act 
as constants. But I guess that such option wouldn't help much for 
dialects, unless I would also add a PROTECTED? keyword to detect 
them.

Also, some kind of namespace support should also help implement more 
cleanly Red/System-level dialects. I might need that too for Red's 
runtime as it will grow much bigger than initially planned, due to 
Red compiling to Red/System.

Very nice Kaj!

cool, Kaj

Thanks

Doc, for dialects I only need constant integers. The immutability 
doesn't matter much, so it's more like the symbol! you suggested, 
but with control over the internal value

Namespaces would be good, too

Enumerations would also help; they're sort of a namespace type for 
constants

Note that to make the dialects more powerful, I'm making use of GTK's 
object system, that allows you to check types. So I can distinguish 
between different Red structs

If you would want to support that in Red/System itself, you'd need 
some sort of user defined type

I think that extending the RTTI system to distinguish different type 
of structs (or at least aliased structs) should be doable without 
that. Aliases are already a form of user-defined type.

Very nice Kaj, congrats!

Looks like we'll all have to install Syllable!

How's the Red timetable going?

Tick-tock.

Yes, very nice Kaj.

Nenad keeps the status updated on the RoadMap http://www.red-lang.org/p/roadmap.html


Since taking the decision for Red to compile to Red/System code, 
Nenad has been spending additional time extending  Red/System to 
be able to do so. It will probably result in less work being needed 
on the first Red static compiler.

Having more people testing red/system would probably help speed things 
up a little.

Agreed with Peter, as Red/System becomes more important now, it needs 
to be strengthen a bit more. I will publish an updated roadmap duing 
the SFD event in two weeks.

Detecting aliases would be very nice. It would replace GTK's RTTI, 
which is complex and buggy, and obviously wouldn't work cross-toolkit

Kaj: I have added in the last commit a new virtual path for querying 
aliases unique ID value: system/alias/<name> 


The system/alias/... paths are replaced during compilation with a 
unique ID that should match the one passed for "typed" functions. 
So now you basically have RTTI on aliases too.

As it might be a bit verbose in some cases, macros would be welcome 
to shorten them. In such case, the convention of a "type-" prefix 
on the alias name would be a good one to follow (will document that 
in the spec later today).

I also plan to add a SWITCH function soon, maybe before the SFD. 
It should be able to resolve alias names without the system/alias/ 
path prefix.

Let me know what you think about this solution.

Great, I'll try it

What I'm a bit worried about, though, is binary compatibility. How 
are the values of type IDs determined?

I suppose they shift when the program uses different aliases. That's 
no problem for monolithic programs, but it would be when you try 
to define an interface to a library or other subsystem

They are source-specific, they represent the order of each alias 
definition encountered by the compiler.

Yes, so they're not suitable for standard interfaces

Anyway, whatever value is attributed it should be transparent to 
users.

As long you as you use system/alias/ path accessors.

That's source compatibility, not binary compatibility

The value are calculated at compilation-time.

values

If I ask GTK to determine an object's type, it takes care that it 
works across versions of the GTK library. You can't use these aliases 
to build such a library

You can't build libraries yet in Red/System anyway.

Sure, but we will in the future. In other words, we need some sort 
of ReBin standard

We'll deal with that when library generation will be possible. Until 
that, the current solution should be enough.

OK

If Carl should decide not to continue developing rebol is there anyone 
else who could take it over?

Sure, but I doubt that would happen, since Carl is not likely to 
hand his baby over to someone else.

SO why the mysterious behavior?

Carl is very busy with another project.

(let's move to REBOL3 group)

I'm trying to make a decision about which language to learn for my 
own use.

OK see you on REBOL3

Help! The current Red is incapable of compiling anything:

Compiling /resources/Red/tests/empty.reds ...

*** Compiler Internal Error: Script Error : Cannot use path on none! 
value 
*** Where: build-debug-lines 
*** Near:  [records: job/debug-info/lines/records 
files: job/debug-info/lines/files 
rec-size:
]

Strange...I ran the whole tests suite, as usual, without any issue 
before committing.