Hack（プログラミング言語）

ハック

パラダイム	マルチパラダイム:命令型、関数型、オブジェクト指向、手続き型、リフレクション型
家族	PHP の
デザイン：	ジュリアン・ヴェルラゲ、アロック・メングラジャニ、ドリュー・パロスキ、他[1]
開発者	メタプラットフォーム
初登場	2014年; 10年前 （2014年）
安定版リリース	4.172  / 2022年11月2日; 2年前 ( 2022年11月2日)
タイピングの規律	静的、動的、弱い、漸進的
OS	クロスプラットフォーム
ライセンス	マサチューセッツ工科大学[2]
Webサイト	翻訳:
影響を受けた
PHP、OCaml、Java、C#、Scala、Haskell

Hackは、 Meta （旧Facebook）がPHPの方言として作成した、 HipHop Virtual Machine（HHVM）用のプログラミング言語です。言語の実装は、 MITライセンスの下でライセンスされる無料のオープンソースソフトウェアです。^{[2] [3] [4]}

Hackでは、動的型付けと静的型付けの両方を使用できます。この種の型システムは段階的型付けと呼ばれ、 ActionScriptなどの他のプログラミング言語でも実装されています。^[5] Hackの型システムでは、関数の 引数、関数の戻り値、およびクラスプロパティの型を指定できますが、ローカル変数の型は常に推論され、指定することはできません。^{[3] [6]}

Hackは2014年3月20日に導入されました。^[7]新しい言語が発表される前に、Facebookはすでにコードを実装し、ウェブサイトの大部分でテストしていました。

Hackは、 Web開発に重点を置き、 HTMLに埋め込むことができる、広く使用されているオープンソースのスクリプト言語であるPHPとシームレスに相互運用できるように設計されています。有効なPHPスクリプトの大部分はHackでも有効ですが、あまり使用されないPHPの機能や言語構造の多くはHackではサポートされていません。^[8]

Hack は、静的型付けの導入、新しい型ヒントの追加 (たとえば、整数や文字列などのスカラー型)、型ヒントの使用の拡張 (たとえば、クラス プロパティや関数の戻り値) によって、PHP 5 で利用可能な型ヒントを拡張します。ただし、ローカル変数の型を指定することはできません。^[6] Hack は段階的な型付けシステムを使用しているため、デフォルト モードでは、推論できない場所でも型注釈は必須ではありません。型システムは、作成者が正しいと想定し、コードを受け入れます。^[9]ただし、そのような注釈を必須とする「厳密」モードがあり、完全に健全なコードが強制されます。^[10]

Hack スクリプトの基本的なファイル構造は、いくつかの変更点を除いて PHP スクリプトに似ています。Hack ファイルには<?php開始マークアップ タグが含まれず、トップレベルの宣言の使用が禁止されています。^[11]コードはエントリポイント関数に配置する必要があります。これらはトップレベルのファイルにある場合は自動的に実行されますが、ファイルがinclude、require、またはオートローダー経由でインクルードされている場合は実行されません。Hack の他の関数と同様に、関数名はプロジェクト内で一意である必要があります。つまり、複数のエントリポイントを持つプロジェクトで、両方を と呼ぶことはできませんmain。

<< __EntryPoint >>
関数 main () :  void  { 
  echo  'Hello, World!' ; 
}

上記のスクリプトは PHP と同様に実行され、次の出力がブラウザに送信されます。

こんにちは世界！

PHPとは異なり、HackとHTMLコードは混在できません。XHPまたは別のテンプレートエンジンを使用する必要があります。^[8]

PHP 7 と同様に、Hack では関数の引数と戻り値の型を指定できます。したがって、Hack の関数には次のような型が注釈として付けられます。

// ハック関数には型が注釈として付けられます。
function  negate ( bool  $x ) :  bool  { 
    return  ! $x ; 
}

• ファランジェ

• 公式サイト 言語リファレンス
• Facebook Q&A: Hack が PHP の世界に静的型付けをもたらす
• 既存のPHPプロジェクトをHackに変換するチュートリアル
• KPHP: PHP の実行可能な形式セマンティクス