<?hh
// generics
class Mopemope<T> {
  public function __construct(private T $data) {}
  public function get(): T { return $this->data; }
  public function set(?T $x): void { $this->data = $x; }
}

function generics_test(): Mopemope<string> {
  $x = new Mopemope("松原！");
  return $x;
}

function apply_int<T>((function(int): T) $callback, int $value): T {
    return $callback($value);
}

$func = function(int $num) : string {
  return "mopemope is " . $num . " years old.";
};
var_dump(apply_int($func, 28));


// newtype を宣言
newtype user_name = string;

function get_user_name(): user_name {
  return "yone098";
}

// 引数は user_name 型しか受け付けない
function get_user_id(user_name $name) : int {
  // user_name で DB から検索処理など
  $user_id = find_by_user_name($name);
  return $user_id;
}

// 以下は型が違うためエラー
// get_user_id(12345);

echo(get_user_id("mopemope") . "\n");

$ sudo apt-get install autoconf automake binutils-dev build-essential cmake g++ git \
  libboost-dev libboost-filesystem-dev libboost-program-options-dev libboost-regex-dev \
  libboost-system-dev libboost-thread-dev libbz2-dev libc-client-dev \
  libc-client2007e-dev libcap-dev libcurl4-openssl-dev libdwarf-dev libelf-dev \
  libexpat-dev libgd2-xpm-dev libgoogle-glog-dev libgoogle-perftools-dev libicu-dev \
  libjemalloc-dev libmcrypt-dev libmemcached-dev libmysqlclient-dev libncurses-dev \
  libonig-dev libpcre3-dev libreadline-dev libtbb-dev libtool libxml2-dev zlib1g-dev libevent-dev \
  libmagickwand-dev libxslt1-dev ocaml-native-compilers

$ mkdir dev
$ cd dev
$ export CMAKE_PREFIX_PATH=`pwd`
$ git clone git://github.com/facebook/hhvm.git
$ cd hhvm
$ git submodule init
$ cd ../hhvm
$ git submodule update --init
$ cmake .
$ make

<?hh
// 引数と戻り値は bool
function garsue(bool $x): bool {
  return !$x;
}

$ret = garsue(true);
var_dump($ret);

// 型が異なるためにエラー
$str = "hoge";
garsue($str);

///////////////////////////////////////////////////////
// ## Nullable Types
// ? 付きでNullable
interface mohikan {
  public function say(): string;
}

class mopemope implements mohikan {
  public function say(): string {
    return "コード書け!";
  }
}

// $mohikan に null が渡ってくる場合があるのでチェック
function say_args_null_ok(?mohikan $mohikan): string {
  if ($mohikan !== null) {
    return $mohikan->say();
  }
  return "mohikan が null です。";
}

// 引数 $mohikan が null なら実行されない
function say_args_null_ng(mohikan $mohikan): string {
  return $mohikan->say();
}

function test_nullable_type(): void {
  // null を指定
  say_args_null_ok(null);

  // mopemope インスタンスを指定
  $mopemope = new mopemope();
  say_args_null_ng($mopemope);

  // null 指定でエラー
  say_args_null_ng(null);
}

test_nullable_type();

///////////////////////////////////////////////////////
// Collections
function test_collections(): void {
  // Vector
  echo "Collections Vection<T>\n";
  $vector = Vector<int> { 100, 200, 300, 400 };
  $vector[] = 700; // 追加
  $vector[0] = 111; // 上書き
  echo "vector->get(1):" . $vector->get(1) . "\n";
  var_dump($vector);

  $vector->removeKey(2);
  foreach ($vector as $v) { echo $v . "\n"; }

  // filter
  $v_filter = $vector->filter(function($v) { return 150 <= $v; });
  foreach($v_filter as $key => $val) {
    echo "key:" . $key . "=>" . $val . "\n";
  }

  // Map
  echo "Collections Map<K, V>\n";
  $map = Map<string, long> {"a" => 100, "b" => 200, "c" => 300};

  $map["d"] = 400;
  echo "map[0] = " . $map["a"] . "\n";
  // get
  echo "map->get(\"b\") = ". $map->get("b") . "\n";

  // contains
  var_dump($map->contains("a"));

  // map filterWithKey
  $map_filter = $map->filterWithKey(function($k, $v) {
    return ($k === "b" || $k === "c");
  });
  var_dump($map_filter);
}

test_collections();

Collections Vection<T>
vector->get(1):200
object(HH\Vector)#1 (5) {
  [0]=>
  int(111)
  [1]=>
  int(200)
  [2]=>
  int(300)
  [3]=>
  int(400)
  [4]=>
  int(700)
}
111
200
400
700
key:0=>200
key:1=>400
key:2=>700
Collections Map<K, V>
map[0] = 100
map->get("b") = 200
bool(true)
object(HH\Map)#6 (2) {
  ["b"]=>
  int(200)
  ["c"]=>
  int(300)
}

///////////////////////////////////////////////////////
// Override
class Yone {
  public function yone_098(): string {
    return "yone_098";
  }
}

class Yone098 {
  // override なのに親メソッドと異なるメソッド名
  <<Override>> public function yone_123(): string {
    return "yone_123";
  }
}

function test_override(): void {
  echo "call test_override()\n";

  $yone = new Yone098();
  echo "yone->yone_098() : " . $yone->yone_098() . "\n";
}

test_override();

call test_override()

Fatal error: Call to undefined method Yone098::yone_098 from anonymous context in /home/yone098/hhvm_work/garsue.hh on line 115

///////////////////////////////////////////////////////
// Type Aliasiling
type mopeInt = int;
function sum(mopeInt $v): int {}

newtype yone_name = string;
// 引数は yone_name 型しか受け付けない
function foo(yone_name $v): void {}

newtype mopePoint = (long, long);
function test_point(mopePoint $v): void {}

<?hh
async function genFoo(): Awaitable<Foo> { return new Foo(); }
async function cached_result<T>(T $x): Awaitable<T> { return $x; }
async function gen_void(): Awaitable<void> { return; }
async function gen_add(Awaitable<int> $genA, Awaitable<int> $genB): Awaitable<int> { 
  list($a, $b) = await genva($genA, $genB); 
  return $a + $b; 
}
class Preparable<T> implements Awaitable<T> { ... }
class MyPreparable extends Preparable<MyPreparable> { ... }