deshack

<?php

class User {}

interface UserFactoryContract {
  public static function generate() : User;
}

class UserFactory implements UserFactoryContract {
  public static function generate() {

deshack

<?php

class User {}

function getUserWrong() : User {
  return [];
}

getUserWrong();
// PHP Warning:  Uncaught TypeError: Return value of getUserWrong() must be an instance of User, array returned

deshack

<?php

function maybeGetUser() {
  return [];
}

var_dump(maybeGetUser());
// array(0) {
// }

deshack

<?php

function getUser() {
  return array();
}

var_dump(getUser());
// array(0) {
// }

deshack

<?php
/**
 * Return type in PHP5.
 * 
 * @copyright 2016 SqueezyWeb
 * @author Mattia Migliorini <mattia@squeezyweb.com>
 */

/**
 * Get User instance.

deshack

<?php

// Force Type Hinting to do a strict type check (the same as ===).
declare(strict_types=1);

function setBool(bool $bool) {
  var_dump($bool);
}

setBool('foo');

deshack

<?php

function setBool(bool $bool) {
  var_dump($bool);
}

setBool(true); // bool(true)

setBool('foo'); // bool(true)
setBool(''); // bool(false)

deshack

<?php

function setValue(string $value) {
	var_dump($value);
}

setValue('foo');
// string(3) "foo"

setValue([]);

deshack

<?php

function setOptions(array $options) {
	var_dump($options);
}

setOptions(array());
// array(0) {
// }

deshack

<?php
/**
 * PHP5 Type Hinting Example.
 *
 * @copyright 2016 SqueezyWeb
 * @author Mattia Migliorini <mattia@squeezyweb.com>
 */

/**
 * Array Type Hinting.