Команда Facebook выложила в открытый доступ язык Hack

[mwizard]

Ну и как теперь называться «хакерам», которые были до появления этого языка? :)

[dim_s]

Я не очень понимаю эту тягу Facebook сделать из PHP клон Java. Хотя понятно, что с помощью статической типизации компилятор может произвести намного больше оптимизаций.

[sferrka]

Если я правильно поняла, то статическая типизация в hack не является обязательной, т.е. даже в пределах одного файла возможна и динамическая и статическая типизация. К тому же, они пишут, что многие типы типы сглаживаются (приводятся) таким образом, чтобы разработка была максимально похожа на работу с PHP. Т.е. используем строгие проверки там, где это действительно необходимо.

[duke_nu]

они скорее всего это делают затем, зачем и вы ). рассказали-бы о вашем проекте здесь.

[VolCh]

Скажем так: во многих проектах возможности динамической типизации не используются де-факто — по сути работает автоматический вывод типов при инициализации, а далее тип никогда не меняется (разве что на null). И во многих проектах есть информация для статического сильного контроля типов — phpdoc.

[valemak]

Извините, если глупый вопрос — но кто мне объяснит, можно ли с помощью Hack/HHVM писать GUI-приложения с использованием сторонних PHP-библиотек? Так мало внятной информации в рунете по поводу «фейсбучного PHP»… :(

[tzurbaev]

develstudio.ru/

[valemak]

Спасибо, посмотрю. Помнится, щупал летом DevelStudio. В целом понравилось, но что-то мне для моего проекта не подошло. Не помню почему именно… Уже скачал заново, попробую ещё раз. Возможно, мои давнишние тревоги были напрасные.

[alexboor]

Типы проверяются специальным сервером (сервисом, демоном), который следит за изменением файлов исходного кода на диске.

то есть дальше можно не читать?

[CrackedSapphire]

Синтаксис

[Elfet]

Очень интересный язык! Все то чего не достаёт в PHP. Если бы появилась поддержка его в PhpStorm с удовольствием программировал бы на нем.

[hell0w0rd]

phpstorm, к сожалению и текущий php фигово поддерживает. Хотя казалось бы — добавить пару аннотаций и все было-бы в шоколаде.

[4orever]

А чего именно вам не хватает в phpstorm?

[hell0w0rd]

Ну например работы с ArrayAccess, да и вообще с массивами.
Ясно что когда используются переменные — сложно угадать, что в массиве, но когда явно пишешь:

$arr['foo'] = new Foo();
$arr['foo']->bar(); // тут уже контекст теряется

Ну и всяческих мелких аннотаций, типо @return argument<$object>.
Хотя с поддержкой JS там все еще хуже, так что я молчу и не жужу:)

[kovalevsky]

PhpStorm 7.3.1 — Ваш пример работает без каких-либо аннотаций.

[POPSuL]

/** @var Foo[] $arr */ 
$arr = [];
//...

Ведь можно и так.

[hell0w0rd]

Да, знаю про инлайн-аннотации. Но что если я в массиве разные классы храню?

[POPSuL]

Я даже не могу представить как это вообще можно проинспектировать. Можно только явно указать все возможные типы через пайп.

[hell0w0rd]

Нужно научить IDE исполнять код, вот и все.

[POPSuL]

А если содержимое массива будет зависеть от данных, которые пришли со стороны пользователя? Я думаю, что тут проще будет научить IDE писать код за программиста… :)

[hell0w0rd]

Зря так думаете) Посмотрите хотя бы на COLT. IDE знает какие параметры метод принимает, какие у них сигнатуры. Да и вообще. По вашему $fooBar и $foo['bar'] сильно отличается? На мой взгляд нет.

[VolCh]

Не исполнять, а анализировать.

[hell0w0rd]

Замечательно! Популярность языка сделала свое дело — он стал развиваться самостоятельно.
Интересно, почему не отказались от <?hh
Особенно радует доработанность языка, не просто добавили типы, но и шаблоны. Супер!

[sferrka]

Мне кажется ваши претензии относятся скорее к виртуальной машине, нежели к языку?

[bolk]

Кажется. Или вы считаете, что по запросу «Hack» будет находится этот язык программирования?

[anight]

Полное название — hacklang. По аналогии Go -> Golang.

[StreetStrider]

Как и многие другие. Автор оригинального комментария сетует на то, что многие современные языки используют в качестве названия имена нарицательные, что иногда слегка, иногда драматически ухудшает поиск инфы по ним. Примеры:
Hack, Go, Rust, Ceylon.

Ещё есть язык D (однобуквенное название).

[EvgeniyKirov]

А ещё Ruby, Java и Python, ага.

[VolCh]

В PHP это не нужно, если используется сам PHP, а не mod_apache или FPM.

[worker4food]

[x] The name of your language makes it impossible to find on Google же

[a553]

JavaScript – TypeScript (static typing, generics etc.)
PHP – Hack (static typing, generics etc.)

[achekalin]

Наконец-то слово хакер (особенно в Америке) перестанет нести налет специалиста по противоправным действиям.

[burjui]

Новый налёт будет тоже не слишком радостным, учитывая отношение остальных разработчиков к разработчикам на PHP. Лично мне всё равно, что думают о PHP'шниках, но я бы предпочёл возвращение первоначального смысла этому слову, т.к. в некотором смысле являюсь хакером сам (без претензий на крутизну). Ну и да, название, на мой взгляд, неудачное по двум причинам:

1. Одно из значений слова hack, пережившее эффекты журнализма — быстрая правка, решающая проблему здесь и сейчас, без раздумий о красоте кода и о его поддержке. Не очень хорошая ассоциация для языка, на который переводят почти весь свой код такие компании, как Facebook — надолго ли?
2. Трудность поиска информации по языку. Если же язык станет очень популярным, станет сложно искать просто слово hack. Примеры языков Go и D как бы намекают нам, что, скорее всего, при поиске придётся добавлять -lang к названию языка.

[hell0w0rd]

ой да ладно вам. По Си сложно материалы найти?

[EvgeniyKirov]

Хороший логотип, мне нравится

[Arks]

я просто оставлю это здесь. Видимо осталось уже недолго!
habrahabr.ru/post/210206/#comment_7241200