rep_lang
rep_lang copied to clipboard
neighbour-hoods
a language for Cultural Articulation
https://github.com/kkawakam/rustyline/pull/620 adds wasm support, and https://github.com/kkawakam/rustyline/pull/604 maybe also does. once one of them merges, update our code to use mainline `rustyline` again, instead of the fork-dep introduced in #77.
we could perhaps take inspiration from OCaml's module system (https://dev.realworldocaml.org/first-class-modules.html). we will likely need to parameterize the module system by the **module identfier**, so that the language can be used...
nice to have: - [ ] run `cargo2nix` and check for a zero diff - this will ensure the file stays fresh - [ ] run `cargo build` and check...
an example of troublesome-looking `Sto` output: ``` 924 : CellThunk(Ev { _: VClosure(Name("x"), App(App(Prim(Add), Lit(LInt(1))), Var(Name("acc"))), {Name("_1"): VRef(0), Name("acc"): VRef(923), Name("foldl"): VRef(3)}) }) 925 : CellThunk(UnevExpr { expr: App(Prim(Head), Var(Name("xs"))),...
the `Sto` introduced in #35 is our "heap" - where much of `rep_lang`'s allocated memory lives. much of this memory might go out of scope and not be needed, as...
akin to `:l ` in ghci (https://ghc.readthedocs.io/en/8.0.1/ghci.html#loading-source-files), this would help with loading files and tinkering with them interactively. this would be made more-legit by having a module system.
this would allow us to add a `--verbose`/`-v` flag which could emit debug info. most of the time, we probably don't want to see that. `rle` emits a potentially gigantic...
I think match/case is necessary for implementing sum types. how else can you do case analysis? ``` (match r [ (L l_body) ((+ 1) l_body) ] [ (R r_body) 7...
I want to note an issue with interfaces - if folks define their own parsers (via their own concrete syntax crate, an ability which we intend to support later) then...