libera/#lisp - IRC Chatlog
Search
0:21:47
jcowan
Blub in Lisp syntax is an idea that keeps appearing. I designed a few myself. Bottom Scheme is a tiny subset of Scheme that is fairly easy to compile to C, partly because it doesn't have Scheme's special magic: no call/cc, only restricted closures. CL/R is analogous, but for CL, and I have one for SQL scalar expressions. None of these have working implementations: ars longa, vita brevis.
0:25:17
jcowan
Then there is one to solve the problem of Scheme floating point: the default precision in almost all Schemes is double, so they can't be boxed without heavy compiler inference. Flopsy uses sigils for typing, and its types are floats and float vectors, procedures, and integers. The idea is that you write your code in Flopsy, which is valid Scheme, and debug it there. Then the Flopsy compiler converts it to C, and you access it through
2:22:44
jcowan
moon-child: Yes, but (a) nobody had thought of nanboxing then; (b) to this day, no Scheme implementation implements it