We can play a standard game of Tic-Tac-Toe in Leo.
⭕ ❕ ⭕ ❕ ❌
➖ ➕ ➖ ➕ ➖
⭕ ❕ ❌ ❕ ⭕
➖ ➕ ➖ ➕ ➖
❌ ❕ ❌ ❕ ⭕
Leo allows users to define composite data types with the struct keyword.
The game board is represented by a struct called Board, which contains three Rows. An alternative representation would be to use an array, however, these are not yet supported in Leo.
structdeclarations- conditional statements
- early termination. Leo allows users to return from a function early using the
returnkeyword.
Follow the Leo Installation Instructions.
This tictactoe program can be run using the following bash script. Locally, it will execute Leo program functions to create and play a game of Tic Tac Toe.
cd tictactoe
./run.sh- Step 0: Create a new board.
- Step 1: Player 1 makes the first move.
- Step 2: Player 2 makes the second move.
- Step 3: Player 1 makes the third move.
- Step 4: and so on...
We generate the board, and then the player take turns executing the transition function make_move.
The inputs to the function are the player number, row position, column position, and the previous state of the board.
The output provided is the new state of the board and an evaluation of who won the game. 0u8 as the evaluation output means a draw if the board is complete or that the game is not yet over.
leo run newHave Player 1 make the first move.
leo run make_move 1u8 1u8 1u8 "{ r1: { c1: 0u8, c2: 0u8, c3: 0u8 }, r2: { c1: 0u8, c2: 0u8, c3: 0u8 }, r3: { c1: 0u8, c2: 0u8, c3: 0u8 } }"Have Player 2 make the second move.
leo run make_move 2u8 2u8 2u8 "{ r1: { c1: 1u8, c2: 0u8, c3: 0u8 }, r2: { c1: 0u8, c2: 0u8, c3: 0u8 }, r3: { c1: 0u8, c2: 0u8, c3: 0u8 } }"Have Player 1 make the third move.
leo run make_move 1u8 3u8 1u8 "{ r1: { c1: 1u8, c2: 0u8, c3: 0u8 }, r2: { c1: 0u8, c2: 2u8, c3: 0u8 }, r3: { c1: 0u8, c2: 0u8, c3: 0u8 } }"If you follow the run script till the end, you'll see the players make a draw, with an output of 0u64.