yuujinchou
yuujinchou copied to clipboard
RedPRL
👹 A library for hierarchical names and lexical scoping
This is the third time I've wanted to ask this. The first two times, I found another way to do what I wanted, and maybe I would be able to...
Eventually we might want to implement fuzzy search or an API to facilitate the computation of edit distances.
The original introduction was written before the lexical scoping module was added. It should be rewritten with emphasis on lexical scoping.
Fragile = possibly changing the semantics when new top-level definitions are added in imported libraries. Fragile code: ``` import "x.file" [a] improt "y.file" def c = a // future bindings...
It could be helpful to check, given a modifier, what could possibly be the sources? For example, if the final name is `b.x`, and the modifier is `renaming a b`,...
@jonsterling expressed that we should perhaps curry the API more aggressively. In particular, these four functions can be curried without causing confusion: ```ocaml val include_singleton : Trie.path * (Param.data *...