World: r3wp
[World] For discussion of World language
older newer | first last |
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 .. | |
older newer | first last |