-
Notifications
You must be signed in to change notification settings - Fork 62
JavaScript (or Monte) Compiler for RChain #427
Comments
a tiny bit of progress: https://gist.github.com/dckc/fb6c0a49361e8502b0be418ec71b44c1 |
I am not really familiar with the Monte language(actually first time touch). I just check it here. So I can understand it like something which compile the Python to Rholang, right? |
Yes, that's the idea. |
That's a nice idea. |
I got it working in one case:
compiles to
https://gist.github.com/dckc/fb6c0a49361e8502b0be418ec71b44c1 |
I just (re-)discoverd section 3. INTERPRETING CAPABILITIES of Policy as Types has an example of translating javascript to a rho-calculus language. So this idea is not unprecedented. :) I made some notes on the bibliography section of Mobile process calculi for programming the new blockchain. Propositions as sessions by Wadler confirmed my understanding of C-H for pi calculus too. This linear logic stuff may take a little getting used to, but I'm starting to grok. |
or perhaps TinySES https://github.com/Agoric/TinySES |
Some progress Jun 21: https://github.com/dckc/tinyses2rho 0e24be8 |
Mike Stay chatted about continuations in other languages such as JavaScript. How would garbage collection work? How would the collector see what the closure closes over? |
I just re-discovered shell-monad which reminded me that sunroof might be a good approach to rholang-to-js. |
A compiler from monte to rholang could ease the transition from the community of programmers familiar with python and the like.
filed on behaof of @dckc
The text was updated successfully, but these errors were encountered: