Competition Archetype - Glow-Lang/glow GitHub Wiki

Archetype looks very interesting.

Pros:

• Its approach is general enough that it could be easily ported to other platforms.
• Like Glow, Archetype features extraction to several outputs.
• Archetype seems competitive with the usual crowd of "formally verified" languages

Cons:

• It is currently Tezos-focused.
• Unlike Glow, Archetype doesn't currently seem to output client and server, though it probably could.
• Archetype doesn't seem to handle the adversarial aspect of interactions, that is central to Glow.