-
Notifications
You must be signed in to change notification settings - Fork 8
Competition Archetype
Francois-Rene Rideau edited this page Oct 13, 2021
·
2 revisions
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.