Re: Guile Steel: a proposal for a systems lisp

[Christine Lemmer-Webber]

Damien Mattei <damien.mattei@gmail.com> writes:

> On Sun, Aug 7, 2022 at 2:44 PM Christine Lemmer-Webber 
> <cwebber@dustycloud.org> wrote:
>
>  Bigloo is cool.  I think it falls under the same category of Chicken,
>  which I address towards the end of:
>
>    https://dustycloud.org/blog/guile-steel-smelting-pot/
>
>  "Chicken Scheme compiles to C but doesn't strike me as qualifying for
>  this post's vague definition because it still has the usual
>  memory/dynamic typing overheads of Scheme. But go ahead and read
>  literally everything on more-magic.net anyway because that stuff is
>  great."
>
>  Same feels like it could be said of Bigloo, but if I'm wrong, lmk :)
>
> perhaps i'm wrong, but Chicken seems to have strict types as options:
> http://wiki.call-cc.org/man/5/Types

Interesting.  Any examples of it in action, personal use experience,
etc?  I wonder how it handles the famous challenges of keeping that
safety between both statically typed and dynamically typed parts, which
turned out to be extremely expensive, far more than dynamic scoping,
in Racket: https://www2.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf
(though there is work being done to make it better, hopefully...
it may have progressed a lot since I last looked, probably has.)

> about Bigloo the best answer would be to ask to author himself but i
> used Bigloo a little to produce JVM class files only, not C obj files,
> and it can be declared some statically typed variable i think in both
> C and Java targets:
> see: 
> https://www-sop.inria.fr/mimosa/fp/Bigloo/manual.html#G82
> and mostly:
> https://www-sop.inria.fr/mimosa/fp/Bigloo/manual-chapter25.html
> Regards,
> Damien

Hm... "Warning: All type annotations are ignored by the interpreter."

>  
>  Damien Mattei <damien.mattei@gmail.com> writes:
>
>  > perhaps Bigloo a Scheme that targets C and has many other features can 
> help:
>  > https://www-sop.inria.fr/mimosa/fp/Bigloo/
>  > Damien
>  >
>  > On Sat, Jul 9, 2022 at 5:38 PM Christine Lemmer-Webber 
> <cwebber@dustycloud.org> wrote:
>  >
>  >  A little blogpost this morning, not actual software, but software
>  >  desiderata:
>  >    https://dustycloud.org/blog/guile-steel-proposal/
>  >
>  >  I'd love to see something like the above happen.  I'd love to help make
>  >  it happen.  So this is more of a call to arms than anything else.
>  >
>  >  Can we have a "systems lisp"?  Can we do better than Rust?  Let's put
>  >  some interesting things on that compiler tower of ours!