Maintainers Needed about ergo HOT 4 OPEN

I also want to throw in Rescript as a language alternative because it's very similar to Javascript (Syntactically) but with the type safety of OCaml. This blog might be convincing : https://www.greyblake.com/blog/from-typescript-to-rescript/

from ergo.

Hello, we at Formal Land are willing to take care of this project. Our contact email is on our webpage. We primarily have experience in Coq and OCaml, plus other more mainstream languages like TypeScript. Thanks.

from ergo.

Ergo Futures

Martin
Big fan of Ergo
Reached out to OCaml / Coq community
Coq may be an issue
Could we replace Ergo with WASM? Use Rust or TS as the surface syntax?
May help adoption if we use a mainstream language

Shubham
Coq is the biggest issue

• Purely functional
• Limitations by design
• Type system enforces safety
• Impossible to find Coq developers
  Propose to rewrite the implementation in Rust.
  Can find developers
  Good type system
  Expressive
  Easy to write code, active foundation, good tutorials
  Tooling for parser / lexers are mature
  Porting code is probably not possible
  Keep the same DSL design?
  OCaml just added multicore support! Took 7 years.
  OCaml community is very small, focused on creating programming languages
  Rust community is larger, and an open/accessible place for beginners. Growing. Evangelism has been successful.
  Linux is taking Rust as its second language
  Managed by an independent foundation
  Targeted at database/blockchain/servers - an efficient server language
  Good VSCode IDE. Good tools. Compiler.

Tom
Lawyers won’t be able to program in Rust, whereas Ergo is more approachable.
Ergo DSL rewrite could be backwards compatible

Martin
Do we expect lawyers to write Ergo?
Simple logic for templates - handlebars
What about expressions in Ergo?

Dan
Could we reimplement Ergo DSL in Rust and use Rust modules for extensions?
Expression language for the templates different to runtime transaction processing?

Matt
Do we revise the design goals for logic for contracts?
Do we target business people writing / understanding the code?
Maintaining what we have currently is not sustainable. Finding another Coq maintainer is next impossible.

from ergo.

A document for discussion about the design goals for Ergo. Comments welcome.
https://docs.google.com/document/d/1TqMxIuTbe21FIQiwUSpBUjfUyWXv1x-BE120QzkaoHQ/edit?usp=sharing

from ergo.