monte

monte copied to clipboard

Accessing/modifying the Vat decision procedure

1

If I wanted to implement a priority system for the turn queue, or other arbitrary behavior, would that be possible?

void4

executable tests for railroad diagrams

2

the railroad diagrams are not left-factored; I'm not even sure they're unambiguous. But I'd like to cook up a way to check them against all the monte files we have....

dckc

Monte-to-WASM compiler

1

@erights asked me how hard it would it be to compile Monte to wasm. I said the [anf branch](https://github.com/monte-language/typhon/tree/anf) looks like the hard part is done, though the issue of...

dckc

compile to JavaScript (SES) to run in browsers (and node.js?)

6

While typhon is cool, web browser deployment is important, if not essential, for many of the ways I want to use monte. design sketch: source-to-source translation using one of the...

dckc

mtDocStrings.mt usage is not documented

1

it should be in a Makefile or https://github.com/monte-language/monte/blob/master/docs/source/tools.rst or something.

dckc

safety risk of .fetch/2

3

``` I feel like we need a space for documenting POLA maybe-not-safe-but-nobody-has-really-shown-a-good-PoC stuff. PoC = proof of concept? Yeah. Stuff like .fetch/2 on Maps. oh. yes, the risk around .fetch/2...

dckc

redex AAM semantics for monte

2

following... [An Introduction to Redex with Abstracting Abstract Machines (v0.5)](https://dvanhorn.github.io/redex-aam-tutorial/) David Van Horn [email protected] Last updated: Thursday, March 17th, 2016

dckc

When we re-indent stuff, it makes spurious diffs. I'd like to add something to tell emacs to be consistent with Corbin.

dckc

"Why Modules?" doesn't belong in the reference section

1

dckc

the snapshot / diverge blurb is an awkward fit for the section on list syntax. It belongs closer to Final, Var, and DeepFrozen. (reported by uczy)

dckc