I have a few moments, and started working through your examples on the
page. First thing I noticed (up at the top of the page) was this:
eval parse ('ADD 1 5',LF)
6
That's not a boxed result, but the page shows it as boxed.
FYI,
--
Raul
On Fri, Nov 13, 2015 at 12:24 PM, Joe Bogner <joebog...@gmail.com> wrote:
> Good reads. Each time I read them I pick up more.
>
> I've gone ahead and rewrote the tacit code in a literate, tdd style:
>
> http://code.jsoftware.com/wiki/User:Joe_Bogner/ByteCodeInterpreter#Tacit_Literate.2C_TDD_Version
>
>
> The code is significantly longer, but the actual fixed representation
> is slightly smaller. I think this style showcases some of what I love
> about J - tight implementations, ability to mix code with data, and
> testability/interactive nature.
>
> We can question the value of some of the comments (probably better for
> chat), but I'll throw it out here too.
>
> Such as:
>
> func 'op_jge'
> pops value from stack.
> if value is >= 0, sets instruction pointer to the label.
> otherwise continues
>
> x: bytecode where (op,param1,param2) and param2 indicates label to jump to
> y: bytecodeStruct
>
> (_,_,_) is a placeholder since the true x value is supplied and
> not looked up
>
>
> no change test (ip remains 0 since _1 is top of stack):
> ex: 0 -: getIP (JGE,100,0) op_jge _1 op_push
> ((_,_,_),(LABEL,100,0),:(EXIT,0,0)) setCODE 0 setIP testStruct
>
> greater than jump (ip goes to 1 since 1 is top of stack and 1 is
> the label position):
> ex: 1 -: getIP (JGE,100,0) op_jge 1 op_push
> ((_,_,_),(LABEL,100,0),:(EXIT,0,0)) setCODE 0 setIP testStruct
>
> another jump (move label to the end)
> ex: 2 -: getIP (JGE,100,0) op_jge 1 op_push
> ((_,_,_),(EXIT,0,0),:(LABEL,100,0)) setCODE 0 setIP testStruct
>
> jump but label is not found
> ex: 3 -: getIP (JGE,999,0) op_jge 1 op_push
> ((_,_,_),(EXIT,0,0),:(LABEL,100,0)) setCODE 0 setIP testStruct
>
> test equals (this is not yet implemented)
> ex: 2 -: getIP (JGE,100,0) op_jge 0 op_push
> ((_,_,_),(EXIT,0,0),:(LABEL,100,0)) setCODE 0 setIP testStruct
>
> op_jge =: (findLabel setIP ])^:(0<:getVAL) op_pop
> )
>
> I suppose this whole block could be represented in another language in
> a similar number of lines if we used the idea of that code is
> documentation.
>
> You can imagine an implementation like this:
>
> function op_ge(world) {
> var val = pop(world);
> if (val >= 0) {
> return setIP(world, findLabel(world))
> }
> return world;
> }
>
> I think I'd rather read the J version since it's tested/testable and I
> don't think pseudo-javascript version is nearly as clear.
>
>
>
>
>
> On Thu, Nov 12, 2015 at 9:23 PM, 'Pascal Jasmin' via Programming
> <programm...@jsoftware.com> wrote:
>>
>>
>>
>>
>>
>>>If someone has a dictionary or other doc reference handy that explains
>> this I would be grateful to deepen my understanding, although it seems
>> pretty straightforward
>>
>>
>>
>> http://code.jsoftware.com/wiki/User:Pascal_Jasmin/3_types_of_adverbs_conjunctions_and_binding
>>
>> and
>>
>>
>> http://code.jsoftware.com/wiki/User:Pascal_Jasmin/modifiers_in_locales
>> ----------------------------------------------------------------------
>> For information about J forums see http://www.jsoftware.com/forums.htm
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
