cognitive psychology. PhD 
Has anybody used webassembly as a compiler target for pet languages? I’m struggling with the text format- it’s a very strange mix of standard linear-format assembly and block structure.
Show this thread
-
Hmm- the main problem is that it doesn't really work like s-exps because there's no sequencing operator- you simply write a \separated (c1 c2 c3 c4 ...) for a sequence of commands, interspersed with *structured* control blocks. I'd rather have it one way or the other, is all.
Perhaps you just need to write more imperative code ;-) or maybe it's helpful to see it as a direct encoding of the AST? See e.g. the OCaml datatype in the reference interpreter: https://github.com/WebAssembly/spec/blob/master/interpreter/syntax/ast.ml#L71 …
-
-
I'm writing the compiler in rust in an effort to write more imperative code ;-). And that is helpful. Thanks!
-
!!! you should use my abstract binding tree generator! https://github.com/willcrichton/rabbot … bob would be proud. It has many strictures, although few affordances (hasn't worked in a few years), but I'm sure that's fixable.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.