Libra 的 Move 语言初探，10 行代码实现你第一个智能合约

cd ~/libracargo build --bin compiler

Compiling compiler v0.1.0 (/home/machao/libra/language/compiler)    Finished dev [unoptimized + debuginfo] target(s) in 57.23s

// Simple peer-peer payment example.
// 0x0...0 (with 64 zeroes). 0x0 is shorthand that the IR pads out to// 256 bits (64 digits) by adding leading zeroes.import 0x0.LibraAccount;import 0x0.LibraCoin;main(payee: address, amount: u64) {  // The bytecode (and consequently, the IR) has typed locals.  The scope of  // each local is the entire procedure. All local variable declarations must  // be at the beginning of the procedure. Declaration and initialization of  // variables are separate operations, but the bytecode verifier will prevent  // any attempt to use an uninitialized variable.  let coin: R#LibraCoin.T;  // The R# part of the type above is one of two *kind annotation* R# and V#  // (shorthand for "Resource" and "unrestricted Value"). These annotations  // must match the kind of the type declaration (e.g., does the LibraCoin  // module declare `resource T` or `struct T`?).
  // Acquire a LibraCoin.T resource with value `amount` from the sender's  // account.  This will fail if the sender's balance is less than `amount`.  coin = LibraAccount.withdraw_from_sender(move(amount));  // Move the LibraCoin.T resource into the account of `payee`. If there is no  // account at the address `payee`, this step will fail  LibraAccount.deposit(move(payee), move(coin));
  // Every procedure must end in a `return`. The IR compiler is very literal:  // it directly translates the source it is given. It will not do fancy  // things like inserting missing `return`s.  return;}

mkdir testcd testgedit trans.m #贴粘上述代码到这个文件

~/libra/scripts/cli/start_cli_testnet.sh#进行到libra的命令行后执行以下命令dev c /opt/libra/test/trans.m /opt/libra/test/trans.ir

cd ~/libra/target/debug./compiler /opt/libra/test/trans.m -o /opt/libra/test/trans.ir

cat /opt/libra/test/trans.ir{"code":[76,73,66,82,65,86,77,10,1,0,8,1,83,0,0,0,6,0,0,0,2,89,0,0,0,4,0,0,0,3,93,0,0,0,9,0,0,0,12,102,0,0,0,22,0,0,0,13,124,0,0,0,9,0,0,0,5,133,0,0,0,66,0,0,0,4,199,0,0,0,32,0,0,0,7,231,0,0,0,21,0,0,0,0,0,0,1,0,2,2,4,1,0,0,3,0,1,5,1,1,6,2,2,0,2,4,2,0,2,1,7,0,0,1,2,0,2,0,2,4,7,0,0,0,3,0,3,3,4,2,7,0,0,6,60,83,69,76,70,62,12,76,105,98,114,97,65,99,99,111,117,110,116,9,76,105,98,114,97,67,111,105,110,4,109,97,105,110,1,84,20,119,105,116,104,100,114,97,119,95,102,114,111,109,95,115,101,110,100,101,114,7,100,101,112,111,115,105,116,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,1,7,0,12,1,17,1,0,13,2,12,0,12,2,17,2,0,2],"args":[],"modules":[]}