Partial r7rs implementation with a focus on ease of implementation and a reusable library. Work in progress. https://code.roseh.moe/chromatopelma/atom/csc/cps-test.csc?h=main 2022-08-02T02:35:19Z 2022-08-02T02:35:19Z Rose Hogenson rhogenson@posteo.net 2022-08-02T02:35:19Z urn:sha1:acc561366f3fe6ec0377103f52ef0f7e923711c9 Now the lib directory contains what will eventually end up on the user's /usr/lib/csc. When I write make install, it will copy all of the .csc files from lib into the destination lib directory. This means I can start working on the standard library in lib/scheme. 2022-07-30T00:29:13Z Rose Hogenson rhogenson@posteo.net 2022-07-30T00:29:13Z urn:sha1:2fb60ef2d527b40c7f2e1b6408b2c357dd3b6932 2022-07-27T02:24:10Z Rose Hogenson rhogenson@posteo.net 2022-07-27T02:24:10Z urn:sha1:becfaeb778a3c8ba241e2155b998d6b27dcfad0c I was using the load procedure to load a program, but by a strict reading of R7RS, load can only handle expressions and definitions, not imports. So instead I'm defining each test as a library, and using the environment procedure to load them at runtime. 2022-07-25T02:08:49Z Rose Hogenson rhogenson@posteo.net 2022-07-25T02:08:49Z urn:sha1:745d6b8e16c7f276f479c18d97200e44d16aafc9 2022-07-22T19:02:25Z Rose Hogenson rhogenson@posteo.net 2022-07-22T19:02:25Z urn:sha1:555519b85ded4a8fefd9c217e6acfb529ac67432 Global variables will be stored in an array which is kept in register 0. The linker will later translate each library-ref into an integer, which is used as an index into the globals table. This design makes implementing eval quite straightforward, the eval bytecode will accept a globals table and a bytevector of bytecode, save the current set of registers, set register 0 to the new globals table, and begin executing the given bytecode. When eval is finished, it will restore the saved registers and return to the previous instruction pointer. In this way, calling eval can create a call stack. We could think about implementing function calls with eval, and it's cool that it would work, but the CPS transformation mostly makes this irrelevant. It's interesting to think about implementing an interpreter, where a function call would simply eval the function's bytecode, and the function call stack would be handled automatically. 2022-07-21T03:08:14Z Rose Hogenson rhogenson@google.com 2022-07-20T22:39:23Z urn:sha1:e615308b928585013461482f879f536527c5acc2 The point of argument conversion is to validate on each function call that the right number of arguments were passed, and to ensure that no function has more than 1 argument. This second condition makes CPS slightly simpler, and ensures that the arguments will all fit in locals. We take the strategy of allocating a vector for each function call. Ideally we would optimize away most of these allocations, but for now I just want it to work. 2022-07-13T05:55:48Z Rose Hogenson rhogenson@google.com 2022-07-13T05:55:48Z urn:sha1:d18813441649665f42b524443c65d0b6bb4ac59a 2022-07-03T21:37:10Z Rose Hogenson rhogenson@posteo.net 2022-07-03T21:37:10Z urn:sha1:bcb098e8eb18637b6999789585a38ff9168de9d5 I was hesitant to add a diff library, but it was surprisingly easy. A straightforward application of dynamic programming. 2022-07-03T06:04:28Z Rose Hogenson rhogenson@posteo.net 2022-07-03T06:04:28Z urn:sha1:37e086d27d478246e72b8f5c1b75ed5d092495fa I desperately need a diffing library. 2022-07-01T15:29:57Z Rose Hogenson rhogenson@posteo.net 2022-07-01T15:29:57Z urn:sha1:429aa3c3c58d93c3897fafc98d9b44ddc271e0d6 Now variables can't be updated after they're created, so they can be freely copied into closures.