search

AlacrisIO / meta

Internal management of Legicash/Legilogic/Alacris
0 stars 0 forks source link

Deploy our OCaml Runtime using BuckleScript #116

Open fare opened 5 years ago

fare commented 5 years ago

Bridge our two current runtimes (OCaml and JS) using BuckleScript. This way, the JS can use our existing OCaml codebase, and vice versa. Also, we can have a better development language for JS, while leveraging our efforts to make ethereum development more robust using types, persistence, etc.

fare commented 5 years ago

(Alternatively, port the existing OCaml runtime to Haskell, Coq, or whatever language we decide we use for the runtime.)

fare commented 5 years ago

As we use BuckleScript, arises the question of what standard library we use. Something BuckleScript-specific, dropping support for native OCaml? Or some library that works on both, like TableCloth?