6.2 七种典型的智能合约语言