12 点作者 Donckele将近 5 年前

3 条评论

pmontra将近 5 年前

Interesting language (temporarily delivered as DSL for Ruby) but the last commit is dated 2017-11-22.

openfuture将近 5 年前

See also datafun which takes datalog and expands it to generic join semilattices and uses type theory to maintain the monotonicity invariant.

accurrent将近 5 年前

The disorderly programming reminds me of verilog.

Bloom Language