inoas

-- (This code was run in PostgreSQL 9.6.1)
-- Demonstration of how serializable isolation for PostgreSQL, which detects possible
-- interference between concurrent transactions, can produce false positives

-- in psql, create the following table

CREATE TABLE users(
  id SERIAL NOT NULL PRIMARY KEY,
  username VARCHAR NOT NULL
);

inoas

def join_game(user_id, game_id) do
  with {:ok, user} <- Users.get(user_id), 
       {:ok, game} <- Games.get(game_id),
       false       <- Game.is_full?(game),
       false       <- Game.is_started?(game),
       true        <- User.has_permission?(user, game)
do
  Game.add_user(game, user)
else
  # Don't care what specific thing failed

inoas

Variables

const shade = 100;
type Shade = 100;

Functions

inoas

use std::str;

fn main() {
  // -- FROM: vec of chars --
  let src1: Vec<char> = vec!['j','{','"','i','m','m','y','"','}'];
  // to String
  let string1: String = src1.iter().collect::<String>();
  // to str
  let str1: &str = &src1.iter().collect::<String>();
  // to vec of byte