Scott Richmond scott
0 Followers · 3 Following
  • Joined on 2023-07-29
Repositories
2
 Projects Packages Public Activity Starred Repositories
scott closed issue twc/ludus#82 2024-07-21 20:31:45 +00:00
ref -> box all the way through the parser, interpreter
scott pushed to post_computer_class at twc/ludus 2024-07-21 20:31:26 +00:00
df85be3c1e ref->box everywhere
60106d10f0 consider turtle-reported vs. expected-calculated state
Compare 2 commits »
scott commented on issue twc/ludus#102 2024-07-21 20:12:25 +00:00
Language-independent testing

I tried getting Janet to do this, but it won't work. Ian Henry's Judge's test-stdout only captures in-Janet stdout, not anything printed to the console. So (os-exec ["echo" "foobar"] :p),…

scott opened issue twc/ludus#102 2024-07-21 17:56:28 +00:00
Language-independent testing
scott commented on issue twc/ludus#9 2024-07-21 17:41:30 +00:00
Add a "pin" operator

This could definitely be interesting with string patterns.

scott commented on issue twc/ludus#100 2024-07-21 17:38:41 +00:00
Update Lezer and Tree-Sitter grammars: remove loop and recur

Closing, as we are keeping loop/recur in the language.

scott closed issue twc/ludus#100 2024-07-21 17:38:41 +00:00
Update Lezer and Tree-Sitter grammars: remove loop and recur
scott pushed to post_computer_class at twc/ludus 2024-07-20 20:54:42 +00:00
e068059362 update turtle graphics protocol doc
scott commented on issue twc/ludus#93 2024-07-20 20:48:16 +00:00
Turtle graphics protocol

Current set of things to do:

  • Rework Ludus's output to be only its I/O protocol
  • Rewrite all the logic from Prelude in apply_command, render_turtle, and state/call in JS.
  • […
scott pushed to post_computer_class at twc/ludus 2024-07-20 20:34:17 +00:00
dd3867968e add description of turtle graphics protocol
scott commented on issue twc/ludus#93 2024-07-20 19:55:24 +00:00
Turtle graphics protocol

@matt Any thoughts about this?

Two specific hesitations, which I'm happy to bracket for the time being (or quite a while):

  • We're repeating the "proto" section with every message. On the…
scott commented on issue twc/ludus#93 2024-07-20 19:41:40 +00:00
Turtle graphics protocol

A simple example:

{
  "stdout": {
    "proto": ["text-stream", "0.1.0"],
    "data": []
  },
  "stderr": {
    "proto": ["text-stream", "0.1.0"],
    "data": ["oops, I…
scott commented on issue twc/ludus#93 2024-07-20 18:55:13 +00:00
Turtle graphics protocol

A few thoughts, notes here:

  • This is really a version of a complete I/O protocol for Ludus.
  • This means that all of these are, in some sense, streams, not static objects.
  • Each output of…
scott opened issue twc/ludus#101 2024-07-20 17:59:03 +00:00
Add JSON encoder/decoder to Prelude
scott commented on issue twc/ludus#86 2024-07-20 17:51:50 +00:00
Disallow shadowing?

Done in 98421a9215

scott closed issue twc/ludus#86 2024-07-20 17:51:50 +00:00
Disallow shadowing?
scott pushed to post_computer_class at twc/ludus 2024-07-20 17:51:20 +00:00
98421a9215 allow shadowing of prelude
scott pushed to post_computer_class at twc/ludus 2024-07-19 20:48:15 +00:00
7467bc8867 disallow shadowing, remove all shadowing from Prelude.
scott commented on issue twc/ludus#86 2024-07-19 20:47:34 +00:00
Disallow shadowing?

Validator now disallows shadowing of any name in any context. Next up: develop logic in validator to only check names that are explicitly bound in a script, and not names that are in Prelude.

scott pushed to post_computer_class at twc/ludus 2024-07-19 20:25:24 +00:00
2ec95c8f33 add loop & recur back into the language: we do actually need it!--just not *pedagogically*