Re: Summer of Code Recap

[Amirouche Boubekki <amirouche@hypermove.net>]

On 2017-09-06 20:25, Amirouche Boubekki wrote:
> On 2017-09-02 00:09, Amirouche Boubekki wrote:
>> On 2017-08-28 20:56, Ian Price wrote:
>> 
>>> 1 Introduction
>>> ==============
>>> 
>>>   As many of you are aware, I have been working on compiling Guile
>>>   Scheme to JavaScript this summer, as part of the Google Summer of
>>>   Code. This post serves to bookend my work for the year.
>>> 
>>>   Before I go any further, I have to give my thanks to my mentor 
>>> [Chris
>>>   Webber], without whom this project would have fizzled out weeks 
>>> ago;
>>>   Google and the Gnu Project, naturally, for providing the Summer of
>>>   Code and allowing me to work on this project; and our fearless 
>>> leader,
>>>   [Andy Wingo], for answering a wide variety of stupid questions.
>>> 
>> 
>> Sorry, for my last mail I was a bit upset a minimal scm file with "42"
>> will crash.
>> 
>> Anyway, I did a bit of exploration:
>> 
>> Apparently webkit does ship TCO and safari is the only browser [0] 
>> shipping it.
>> So it will happen soon enough for chrome, but chrome is not a solution 
>> for many
>> of us. I don't know when firefox with ship TCO.
>> 
>> [0] https://www.chromestatus.com/feature/5516876633341952
>> 
>> Anyway, TCO requires "use strict"; thing to work, so I prefixed the 
>> output
>> of guild jslink with that and it lead to discover a bug where there is 
>> two
>> times the same argument called `v_rest`. You can run the file with
>> the following command:
>> 
>>    node --harmony_tailcalls main.js
>> 
>> It will tell you where the error is.
>> 
>> Here is the fixed code:
>> 
>>     var k_27363 = function(v_19412, k_27499) {
>>       var k_27364 = function(v_19412, v_e, v_p, v_w, v_mod) {
>>         var v_19413 = v_e;
>>         var v_19414 = v_p;
>>         var v_19415 = v_w;
>>         var v_19416 = v_mod;
>>         if (scheme["is_true"](scheme["primitives"]["pair?"](v_19413))) 
>> {
>>           {
>>             var v_19417 = scheme["primitives"]["car"](v_19413);
>>             var v_19418 = scheme["EMPTY"];
>>             scheme["primitives"]["handle-interrupts"]();
>>             var k_27370 = function(v_first, v_rest) {
>>               var v_19419 = v_first;
>>               var v_19420 = v_rest;
>>               if (scheme["is_true"](v_19419)) {
>>                 {
>>                   var v_19421 = scheme["primitives"]["cdr"](v_19413);
>>                   scheme["primitives"]["handle-interrupts"]();
>>                   var k_27375 = function(v_rest, v_rest2) {  // The
>> error is HERE!
>>                     var v_19422 = v_rest;
>>                     var v_19423 = v_rest2;
>> 
>> With that "fix" it run under nodejs v8.4.0 without increasing the 
>> callstack.
>> So it's good news!
> 
> With both patches applied and "use strict"; prefixed to the output of 
> jslink
> it works with chromium 60.0.3112.113 using the following command:
> 
> chromium-browser --js-flags="--harmony-tailcalls"

I pushed my changes to 
https://gitlab.com/amirouche/guile/tree/compile-to-js-2017

I am only missing `js-cloure` procedure to be able to submit guile 
callbacks
to javascript world.

-- 
Amirouche ~ amz3 ~ http://www.hyperdev.fr