aa
aa copied to clipboard
cliffclick
Cliff Click Language Hacking
I guess HM with infinite types can type the example I gave at CCC today, but what about this? ``` I = {x->x}; K = {x->{y->x}}; W = {x->(x x)};...
Re-entrant snapshots Use case: preprocessing Some processing can be broken into parts that make sence to divide up over time and space. For example if I am making a game...
Something coming out of the discussions about operator overloading was a healthy amount of bias and opinions regarding the "complexity budget" for one if not both of the issues I...
I'm new to `aa` - starting by reading the `README.md`. I have the following issues/questions with the grammar described there: 1. Error in `term = tfact bop- stmts bop- stmt`...
Code from https://github.com/AaronGoldman ### sys.call(code, locals) If I want to call a function but inject my environment into the function being called If the env is not specified then the...
From Aaron: call with a struct instead of a tuple: (fun @{x=123,y=456}). Needs default args also.
Proposal `int0 = -1` and `int1 = {-1, 0}` As we encode integers in different formats it makes sence to have types that can restrict the domain to a fixed...