tekknolagi / scrapscript Goto Github PK

View Code? Open in Web Editor NEW

144.0 7.0 3.0 506 KB

A functional, content-addressable programming language.

Home Page: https://scrapscript.fly.dev/repl

License: Other

Python 88.06% Shell 0.60% JavaScript 5.52% Dockerfile 0.48% HTML 3.24% CSS 2.10%

interpreter cosmopolitan functional-programming

scrapscript's Introduction

Scrapscript Interpreter

See scrapscript.org for some more information. Keep in mind that the syntax on the website will change a little bit in the coming weeks to match this repository.

Take a look inside scrapscript.py and all of its tests to get an idea for how the language works.

Usage

We support python3.8+.

# With a file
python3 scrapscript.py eval examples/0_home/factorial.scrap

# With a string literal
python3 scrapscript.py apply "1 + 2"

# With a REPL
python3 scrapscript.py repl

or with Cosmopolitan:

./build-com

# With a file
./scrapscript.com eval examples/0_home/factorial.scrap

# With a string literal
./scrapscript.com apply "1 + 2"

# With a REPL
./scrapscript.com repl

(if you have an exec format error and use Zsh, either upgrade Zsh or prefix with sh)

or with Docker:

# With a file (mount your local directory)
docker run --mount type=bind,source="$(pwd)",target=/mnt -i -t ghcr.io/tekknolagi/scrapscript:trunk eval /mnt/examples/0_home/factorial.scrap

# With a string literal
docker run -i -t ghcr.io/tekknolagi/scrapscript:trunk apply "1 + 2"

# With a REPL
docker run -i -t ghcr.io/tekknolagi/scrapscript:trunk repl

Running Tests

python3 scrapscript.py test

scrapscript's People

Contributors

Stargazers

Watchers

Forkers

shauryashaurya sfermigier aleksandergondek

scrapscript's Issues

Report and check code coverage on PRs

We have NOT_EQUAL (\=) and pattern matching on #true/#false, so implementing boolean NOT is technically possible, but would be easier with a dedicated NOT operator. ! is already taken by RIGHT_EVAL.

Report and check performance on PRs

Microbenchmark ideas:

Deploy web REPL previews on PRs

https://github.com/superfly/fly-pr-review-apps

Float literals

We currently support int literals, but we should also support float literals

Add REPL integration tests using I/O mocks

https://news.ycombinator.com/item?id=38449933

  class TestCalculatorREPL(unittest.TestCase):
      pass

  from unittest.mock import patch

  @patch("sys.stdin", StringIO("1"))
  @patch("sys.stdout", new_callable=StringIO)
  def test__():
      pass

Add example scraps on the web REPL

Make them loadable with one click

This can be done in pure JS

Fix parsing for float/where

We should probably drop support for 1. because it makes the following ambiguous: x+y.x=1.y=2

Add version number to serialized objects

Assign spread to var when matching

getrest [2, 4, 6]
. getrest =
  | [] -> 0
  | [first, ...rest] -> rest

Should result in [4, 6]

Maintain line and character number after parsing

Evaluation has many failure cases, many of which have pretty reasonable error messages. However we do not maintain the line and character numbers associated with nodes in the AST. The interpreter can't point to the part of the code associated with a failure that occurs during evaluation.

This feature request is to make code index information available in the evaluation stage.

[[statics]]
  guest_path = "/app/public"
  url_prefix = "/public"

Pattern matching on string concatenation

get_match "bxyz"
. get_match =
  | "a" ++ rest -> "A"
  | "b" ++ rest -> "B"
  | "c" ++ rest -> "C"

fac =
| 0 -> 1
| n -> n * fac (n - 1)

won't serialize because it results in a closure that references itself.

 ()
  . _ = scoop :: chocolate ( )
  . scoop : # vanilla ( ) # chocolate ( ) # strawberry ( )
  . _ : p = p :: point { x = 3 , y = 4 }
  . p : # point { x : int , y : int }
  . tuple : x => y => z => # pair { x : x , y : y } # triplet { x : x , y : y , z : z }

scrapscript shebang

Can you please allow # as comment char in the 1st line in a script?

That would make using #!/path/to/scrapscript.py there possible and so probably would allow directly executable scripts.

Current reaction:

$ ls -l test.ss 
-rwxr-xr-x 1 yeti yeti 104 Dec  8 16:08 test.ss
$ ./test.ss 
Traceback (most recent call last):
  File "/tmp/mc-yeti/scrapscript.py", line 2800, in <module>
    main()
  File "/tmp/mc-yeti/scrapscript.py", line 2796, in main
    args.func(args)
  File "/tmp/mc-yeti/scrapscript.py", line 2611, in eval_command
    tokens = tokenize(program)
  File "/tmp/mc-yeti/scrapscript.py", line 239, in tokenize
    while (token := lexer.read_one()) and not isinstance(token, EOF):
  File "/tmp/mc-yeti/scrapscript.py", line 180, in read_one
    raise ParseError(f"unexpected token {c!r}", ("<input>", self.lineno, self.colno, self.line))
  File "<input>", line 1
    #
     ^
__main__.ParseError: unexpected token '#'

Or is that a case of PEBCAK?