chromatopelma/csc/match.csc, branch mainPartial r7rs implementation with a focus on ease of implementation and a reusable library. Work in progress.https://code.roseh.moe/chromatopelma/atom/csc/match.csc?h=main2022-08-02T02:35:19ZModify the project structure.2022-08-02T02:35:19ZRose Hogensonrhogenson@posteo.net2022-08-02T02:35:19Zurn: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.
Improve the match syntax for constants.2022-07-25T02:08:13ZRose Hogensonrhogenson@posteo.net2022-07-25T02:08:13Zurn:sha1:51a1e71c269f298fba18b620c68a0b1b15d236e9
I guess you can pattern match using quote as a literal.
That's pretty cool.
Fix a bug in matching record types.2022-07-22T19:00:46ZRose Hogensonrhogenson@posteo.net2022-07-22T19:00:46Zurn:sha1:9f8ae9d1de7988299fccb9a6e2673bf147c6d9eb
Running the record matcher has a side-effect (raising *no-match*), so we
call it ahead of time to ensure a consistent order of evaluation.
Perform argument conversion.2022-07-21T03:08:14ZRose Hogensonrhogenson@google.com2022-07-20T22:39:23Zurn: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.
Remove redundant parentheses in the match macro.2022-07-13T04:44:41ZRose Hogensonrhogenson@google.com2022-07-13T04:44:41Zurn:sha1:77a47304368cd716c05507ce9cebbbab3a2b965a
I'm marginally reducing verbosity with this change,
without sacrificing readability.
Add a diff library.2022-07-03T21:37:10ZRose Hogensonrhogenson@posteo.net2022-07-03T21:37:10Zurn:sha1:bcb098e8eb18637b6999789585a38ff9168de9d5
I was hesitant to add a diff library, but it was surprisingly easy. A
straightforward application of dynamic programming.
Add pattern matching for record types.2022-06-30T04:52:30ZRose Hogensonrhogenson@posteo.net2022-06-30T04:52:30Zurn:sha1:804a2fe3c90c06a22a1eed5ea50d667ff3e7b08c
I like scheme because it's possible to add any convenient language
feature I can think of.
Write a first draft macro expander.2022-01-15T05:06:26ZRose Hogensonrhogenson@posteo.net2022-01-15T05:06:26Zurn:sha1:a968e8595b999d5c0a43c59de69bcb4f34e205c1
Committing it because it compiles. I have to write tests and debug
it still.
Rewrite match to use exceptions.2022-01-13T23:49:18ZRose Hogensonrhogenson@posteo.net2022-01-13T23:49:18Zurn:sha1:85a1d8d269383cc061d54cf4e1af0254a6c6ccb7
This makes the control flow more clear, and eliminates the need to scan
the pattern twice. It also makes it easier to add new forms by
consolidating the pattern logic in one procedure.
Move scheme compiler into a separate directory.2022-01-12T06:01:23ZRose Hogensonrhogenson@posteo.net2022-01-12T06:01:23Zurn:sha1:68986fe0410584c6934c835bb0ee784655f5f8c5