.@archetype_lang is a high-level language for developing smart contracts on #Tezos. With its exclusive features (new types, state machine design, etc.), #Archetype helps ease development, tests, and formal verification, focusing on contract security.
https://archetype-lang.org/
@archetype_lang是在#Tezos上开发智能合约的高级语言。#Archetype具有独特的功能（新类型、状态机设计等），#Archetype有助于简化开发、测试和正式验证，重点关注合同安全。
https://archetype-lang.org/