この RFC は4種類のスカラー型、int、float、string と bool の新しい型宣言の追加を提案します。これらの型宣言は PHP 関数が使う既存のメカニズムと同じようにふるまいます。
この RFC はファイル単位でオプションの新しいディレクティブである declare(strict_types=1); をさらに追加することを提案します。このディレクティブによって、エクステンションとビルトインの PHP 関数を含む、すべての関数呼び出しと戻り値の宣言は "strict" なスカラー型の宣言に対して型チェックがなされます。さらに、このディレクティブを伴うエクステンションとビルトインの PHP 関数の呼び出しによって、パラメーター解析が失敗した段階において、E_RECOVERABLE_ERROR が生成され、これらの関数とユーザーランドの型宣言との協調がもたらされます。
これら2つの機能によって、PHP のプログラムは正しく動き、読み書きの前提知識を減らすことができます (self-documenting)。
| <!doctype html> | |
| <html lang="ja"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <title>reveal.js で pdf のスライドをつくる</title> | |
| <meta name="description" content="reveal.js で pdf のスライドをつくる手順を示したスライドです。"> | |
| <meta name="author" content="Masaki Kagaya"> |
| <script src="http://cdnjs.cloudflare.com/ajax/libs/jquery/2.1.3/jquery.min.js"></script> | |
| <script src="http://cdnjs.cloudflare.com/ajax/libs/i18next/1.6.3/i18next-1.6.3.min.js"></script> | |
| <script> | |
| var resources = { | |
| en: { | |
| translation: { | |
| "content": { | |
| "access": "Access" | |
| } |
| <?php | |
| function timer(callable $block) { | |
| $start = microtime(true); | |
| for ($i = 0; $i < 100000; ++$i) { | |
| $block(); | |
| } | |
| $end = microtime(true); |
| <?php | |
| require 'functions.php'; | |
| header('Content-Type: application/json'); | |
| $id = empty($_POST['id']) ? null : (int) $_POST['id']; | |
| $amount = empty($_POST['amount']) ? null : (int) $_POST['amount']; | |
| if (!is_int($id) || 0 > $id) { | |
| echo json_encode([ |
| <?php | |
| $user = json_decode(file_get_contents('user.json'), true); | |
| if (isset($_POST['email'])) { | |
| $email = $_POST['email']; | |
| $msg = '更新しました。'; | |
| $user = ['email' => $email]; | |
| file_put_contents('user.json', json_encode($user)); |
| <?php | |
| session_start(); | |
| $login = isset($_POST['username']) | |
| && $_POST['username'] === 'myuser' | |
| && isset($_POST['password']) | |
| && $_POST['password'] === 'mypass'; | |
| $logout = isset($_POST['logout']) |
| <?php | |
| if (isset($_POST['message'])) { | |
| file_put_contents('db.txt', $_POST['message']); | |
| $text = $_POST['message']; | |
| } else { | |
| $text = file_get_contents('db.txt'); | |
| } | |
| $text = htmlspecialchars($text, ENT_QUOTES, 'UTF-8'); |
| <?php | |
| $fb = new Facebook\Facebook([ | |
| 'app_id' => '{app-id}', | |
| 'app_secret' => '{app-secret}', | |
| 'default_graph_version' => 'v2.4', | |
| ]); | |
| $fb->setDefaultAccessToken($_SESSION['facebook_access_token']); | |
| $response = $fb->get('/me?locale=en_US&fields=name,email'); |
| <?php | |
| function timer(callable $block) { | |
| $start = microtime(true); | |
| for ($i = 0; $i < 100000; ++$i) { | |
| $block(); | |
| } | |
| $end = microtime(true); | |
| return $end - $start; | |
| } |