r3wp [groups: 83 posts: 189283]
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search
 

World: r3wp

[World] For discussion of World language

Geomol
2-Dec-2011
[187]
Polymorphic.
Andreas
2-Dec-2011
[188]
(That's only when you use interpretation for the VM implementation. 
If your VM implementation is a JIT-compiler, register-based VMs match 
typical target architectures more closely, as Brian mentioned.)
Geomol
2-Dec-2011
[189]
I have only done very little in compiler optimisation, so it can 
only be better, I guess.
BrianH
2-Dec-2011
[190x2]
Andreas: The compelling evidence being Lua, which is the main register-based 
VM in popular use for which that is true. However, that depends on 
a number of other factors, not the least of which is the target architecture, 
or instruction-set design, or how well the register model maps to 
the underlying register model. It might be noted that there are not 
that many hardware platforms with 192-bit registers, so that might 
affect things.
Geomol: Are series operations included in your polymorphic opcodes, 
like they are in REBOL? Or are you sticking to the C-like opcodes?
Andreas
2-Dec-2011
[192]
Brian: the compelling evidence being http://dl.acm.org/citation.cfm?id=1328195.1328197
Geomol
2-Dec-2011
[193]
That you will need to figure out yourself within a few days. It's 
more fun that way. :)
BrianH
2-Dec-2011
[194x3]
Andreas: So in the case of register-based hardware architectures 
with a lot of 64bit registers (AMD64, PowerPC, Alpha), for a value 
space that rarely has direct values more than 64bit in size (the 
JVM model) implementing a variable-based procedural language rather 
than a stack-based language, a register-based model is faster than 
a stack-based model. Yup.
I'm surprised that in that case the register-based VM is only a small 
amount faster than the stack-based VM. Their register-based VM most 
have been crappy.
most -> must
Andreas
2-Dec-2011
[197x2]
Or their stack VM rather good. But we're getting seriously off-topic 
here.
(And I'm not surprised. The target architectures characteristics 
you mentioned above (reg count, width) are far less important than 
you seem to assume when implementing the VM using an interpreter.)
BrianH
2-Dec-2011
[199]
Back on topic: Do World's compiled functions implement the modifiable 
immediate block semantics of REBOL?
Steeve
2-Dec-2011
[200]
Well the claimed speed improvement is confusing me.
R3 slower than R2 on the Geomol's computer, uh !

And sorry but I also think that the memory footprint of the bytecodes 
is outrageous :-)
Andreas
2-Dec-2011
[201]
I faintly remember that R3 was slower than R2 for many things I benchmarked 
as well.
BrianH
2-Dec-2011
[202]
I guess it's better than R3's 128bit bytecodes :)
Steeve
2-Dec-2011
[203]
On a Mac again ?
Andreas
2-Dec-2011
[204x2]
On Linux.
128bit < 256bit, so no :)
Steeve
2-Dec-2011
[206]
Brian, the size of a Geomol bytecode is twice the size of a Rebol's 
cell
Geomol
2-Dec-2011
[207x3]
:)
It's outrageous! :)
I need to get things done, and get things rolling, so I won't answer 
any more questions at this point. You get the last countdown tomorrow, 
and the intro and being able to try it out yourself in 2 days, if 
all goes well.

Again thanks for the interest! And remember to have fun!
BrianH
2-Dec-2011
[210x2]
Sorry, I missed that. So it's a VLIW VM, like Itanium. Not quite 
the same thing as Lua at all. So we should believe him when he says 
"I have only done very little in compiler optimisation", but at least 
we don't have to worry too much about running out of opcode space.
This seems like it's made for big hardware. Interesting :)
Andreas
2-Dec-2011
[212x2]
No, it has nothing to do with VLIW except large insn size.
VLIW definitely was not invented to hold larger immediates :)
BrianH
2-Dec-2011
[214]
So it's big iron RISC then :)
GrahamC
2-Dec-2011
[215]
Carl's partly open source model hasn't worked in attracting users 
and generating an incom stream for him .. why do you think yours 
will ?  ( for the FAQ )
ddharing
2-Dec-2011
[216x2]
I wonder how well the book sales idea would work. A side-effect benefit 
of that is good documentation for the language and some marketing.
Carl did that for the 2.3 core user manual but never had any updates 
to it.
GrahamC
2-Dec-2011
[218]
I just paid for the ebook Programming with Clojure ... and that' 
s an open source lanaguage
Geomol
2-Dec-2011
[219]
:)

Like I said, when World is version 1 and I have written a good manual, 
it may make good sense to fully open source it.
GrahamC
2-Dec-2011
[220]
The book I bought is not by the language author!
Geomol
2-Dec-2011
[221]
So if I open source it now, someone else could write the docs and 
benefit from it financially. Where would that leave me? :)
BrianH
2-Dec-2011
[222x2]
Like I was telling you earlier, Graham, you can't just open source 
something without considering the business model. Otherwise you're 
just giving away your work without it being sustainable.
In this case, the big iron aspects of this language could lead to 
some interesting potential applications. Big numbers work can be 
really useful.
Andreas
2-Dec-2011
[224]
Another nice change to REBOL for sure, where we unfortunately never 
got 64-bit builds.
Robert
2-Dec-2011
[225]
To really use as much memory as we need. We hit the R2 memory limit 
already with one of our apps.
Maxim
2-Dec-2011
[226]
does binding work similarly to REBOL?  I mean can World support current 
advanced REBOL block binding/building for generating code like Parse 
compilers or such oddities like this:
>> reduce [ word word word ]
== [1 2 3]
Geomol
2-Dec-2011
[227]
I'll address that after release.
Maxim
2-Dec-2011
[228]
single level Mark and Sweep GC?  or did you put a bit of time into 
making it a bit more powerful (multi-zone, multi-level, multi-threaded, 
etc.) ?
Geomol
2-Dec-2011
[229]
World doesn't use garbage collection, but reference counting.
GrahamC
2-Dec-2011
[230x2]
@Geomol .... it leaves you famous :)
Open source doesn't mean it's not copyrighted
Geomol
2-Dec-2011
[232]
I'm afraid of being famous. ;)
GrahamC
2-Dec-2011
[233]
Write the book now :)
Geomol
2-Dec-2011
[234]
I'll do my best! I promise that.
GrahamC
2-Dec-2011
[235x2]
The nice thing about the book I bought is that I can report errata 
directly from the pdf ... click on errata and it takes me to a web 
form
And the PDF has my name embedded in it ..