Skip to content

Latest commit

 

History

History
32 lines (19 loc) · 957 Bytes

TODO.md

File metadata and controls

32 lines (19 loc) · 957 Bytes
Raw

example

examples/combinators.inet -- interaction combinators examples/lambda.inet -- use interaction combinators

module system

use module/name syntax

  • we already using use name such as @wire/pair, thus module syntax should just map name like module/name to value.

parallelism

learn linux thread

keep a single thread debug mode, which record all the allocated nodes.

primitive value

polish parsing (from 1990-interaction-nets) as an example -- need primitive string type

value_t as sumtype with WIRE_VALUE -- every value is under a pointer

  • use explicit @dup -- keep linear variable like (<node>)-<port> simple
    • is it possible to have a generic @dup that can dup any net with a root wire?
  • use { ... } for un-named program -- just program, no closure over linear variables

how to find rule?

  • [maybe] by type -- (node)-[primitive-value: type]
  • [maybe] by predicate (node)-[primitive-value: predicate?]