Про Erlang

[krlz]

В последнее время в блогах пишеться достаточно много всего про Erlang. Erlang это такой функциональный язык, разработанный Erickson для написания телекомуникационных приложений. Он имеет продвинутую поддержку конкурентности. Звучит здорово, не так ли?

Что же будет если посмотреть на него поближе? Оказывается, язык динамически типизирован. Не

Comments

[zogmeister]

все эти "динамически типизированные" языки суть ни что иное, как продукт анацефалии их разработчиков, которые или неспособны, или не хотят придумать нормальную статическую систему типов. возьмите любой язык, наложите на него нормальную систему типов - вы ничего не потеряете.

разработчиков нетипизированных языков надо убивать. по определению. плевать им в лицо, а затем убивать.
такие дела.

[krlz]

Я привел цитату где автор языка говорит почему это нафиг не сдалось, их аргумент является идиотским.

[kurilka]

Мотивация по сути лежит в истоках Эрланга - всёж он родом от Пролога.
QuickCheck кстати к типизации прямого отношения не имеет.
Но вот к аргументу Gaperton'а - да :)
Суть в том, что в любом случае функционал надо покрывать тестами, которые (при нормальном подходе к их проектированию) выявят проблемы не хуже проверки компилятором. Но в добавок уберут перегрузку программиста всякой мутью с постоянным указанием типов (для нужных мест есть гарды)

[lionet]

а как интересно вы будете делать hot code reloading со статической типизацией? а ведь это одна из основных фич языка.

[krlz]

Да запросто перегузить и проверить типы у байт кодов, или что там вместо них. В Java, например это вполне нормально делается, несмотря на cтатическую типизацию, хотя могут быть Runtime исключения.

[zogmeister]

У многих статически типизированных языков начисто отсутствует RTTI, и это, кстати, правильно. Нет в рантайме у того же OCaml или Haskell никакой информации о типах.

[krlz]

Ну да, хотя на Java мне бы без RTTI было бы писать код очень тяжело

[potan]

С появлением шаблонов это не особо и нужно.

[krlz]

Ну не правда, можно например завести ad-hoc AOP итп при помощи аннотаций, инструментировать байт коды итп.

[potan]

В OCaml есть информация о том, атомарный это тип или нет.

[zogmeister]

Этого мало. Отличить один tagged union от другого низзя.

[earwin]

В яве нормально динамически перегружается код? :)

[earwin]

Я рядом два предложения поставлю:
> Т.е. получается, что хорошие программисты не делают типовых ошибок, но когда они случаются им бывает очень тежело понять, из-за чего ошибка там случилась.
> В Java, например это вполне нормально делается, несмотря на cтатическую типизацию, хотя могут быть Runtime исключения.

[krlz]

Я не согласен с первым предложением, если вы читали пост.