Вышла новая версия компилятора FreePascal

[Лекс Айрин]

Какие у тебя источники?

у меня в RRS ленте давно забиты сайты с описанием найденных багов в программах. И что с этим приходится делать.

Все финансы давно сидят на жабе, а область весьма консервативная.

на только финансы... но тем не менее им придется уйти с явы. Ибо когда баг-листы размером с том БСЭ, то привычки приходится менять. Просто пользователям уже сейчас приходится иногда отключать ява-машину.

Стандарт не показатель. Найди стандарт паскаля, и сравни насколько он далёк от современного состояния дел.

А при чем здесь стандарт? Компилятор не обновлялся с 2000 года! 15 лет! За это время можно уже выпустить с нуля свою ось и обновить ее несколько раз (даже если писать одному).

[Дож]

??? Это особенно внезапно слышать после того, как я признал, что «is nested»-ссылки — это не замыкания :)Я не очень понимаю о каких мнениях идёт речь. В каком посту сформулировано Ваше мнение?

Но Вы же не признали что они не нужны в Паскале. :)

Не признал, как и не признаю то, что они обязательно нужны.

Нестед ссылки тоже, кстати, не нужны.

А нестед ссылки, на мой взгляд, полезны, и полезны примерно в той же степени, что и ссылки на методы, но на эту тему мы как раз уже не дискутируем после http://freepascal.ru/forum/viewtopic.php?f=1&t=10762&start=45#p91708. :)

[kazalex]

Голословное утверждение

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

[Cheb]

Keep It Simple Stupid

..священный принцип, молясь на который не грех и лоб расшибить.

[Mikhail]

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

Если речь конкретно о замыканиях, то для их полноценной реализации нужен GC, который совершенно очевидно не вписывается в современный FPC никак.

[kazalex]

у меня в RRS ленте давно забиты сайты с описанием найденных багов в программах. И что с этим приходится делать.

А есть язык позволяющий писать без ошибок???

Просто пользователям уже сейчас приходится иногда отключать ява-машину

У пользователей и кобола на машинах нет, а не у пользоваталей он есть. Прям как тот суслик. Из толстого энтерпрайза жаба никуда не денется, слишком много её там. И самая популярная мобильная платформа, внезапно, тоже жабья. Паскалю бы так концы отдавать.

А при чем здесь стандарт?

Тебе лучше знать, это же ты аппелируешь к:

но последней «значительной» версией (стандартом) остаётся Haskell 98

Компилятор не обновлялся с 2000 года!

Щито? https://ru.wikipedia.org/wiki/Glasgow_Haskell_Compiler

Если речь конкретно о замыканиях, то для их полноценной реализации нужен GC, который совершенно очевидно не вписывается в современный FPC никак

Вполне себе вписывается, уже есть бренч с поддержкой ARC.

[Mikhail]

ARC

???

[kazalex]

Mikhail, https://en.wikipedia.org/wiki/Automatic ... e_Counting

[Mikhail]

Mikhail, https://en.wikipedia.org/wiki/Automatic ... e_Counting

Подсчет ссылок не может полностью заменить GC, кроме того, в ряде применений подсчет ссылок вносит немалый оверхед, по сравнению с GC.

[kazalex]

Подсчет ссылок не может полностью заменить GC

Никто и не планирует полностью заменять GC. Достаточно того, что объекты становятся типами с управляемым временем жизни, а вместе с этим и замыкания становятся полноценными.

кроме того в ряде применений подсчет ссылок вносит немалый оверхед, по сравнению с GC

Так и GC вносит нехилый такой оверхед, только по потребляемой памяти. Кстати сказать, оверхед от ARC строго детерминирован, в отличии от. Ну и ещё, в паскале давно уже все управляемые типы используют подсчёт ссылок: строки, динамические массивы, интерфейсы, варианты.

[Mikhail]

Никто и не планирует полностью заменять GC. Достаточно того, что объекты становятся типами с управляемым временем жизни, а вместе с этим и замыкания становятся полноценными.

А как быть с циклическими ссылками? Как быть с неуправляемыми объектами (типа PInteger, например)?

Так и GC вносит нехилый такой оверхед, только по потребляемой памяти. Кстати сказать, оверхед от ARC строго детерминирован, в отличии от.

Вносит, величина его сильно зависит от качества реализации самого GC, ну и от пользователей, то что GC позволяет вообще не думать о работе с памятью это миф.
Кстати, есть и детерминированные GC, но в любом случае это совершенно не важно в тех приложениях где применяется Delphi, например.
Подсчет вносит оверхед по скорости, особенно велик он будет в многопоточных приложениях.

[kazalex]

А как быть с циклическими ссылками? Как быть с неуправляемыми объектами (типа PInteger, например)?

Циклические ссылки разруливаются слабыми ссылками. А неуправляемые типы остаются неправляемыми. Тут уж ты сам решаешь, либо используешь управляемые типы и за тебя всё сделает компилятор, либо берёшся управлять вручную и отвечаешь за всё сам.

Подсчет вносит оверхед по скорости, особенно велик он будет в многопоточных приложениях

Это зависит от реализации ARC.

[Mikhail]

Циклические ссылки разруливаются слабыми ссылками.

Т.е. опять человеческий фактор...

Тут уж ты сам решает, либо ту используешь управляемые типы и за тебя всё сделает компилятор, либо берёшся управлять вручную и отвечаешб за всё сам.

Все правильно... поэтому замыкания и не нужны.

Это зависит от реализации ARC.

Не зависит, т.к. любое присвоение это изменение счетчика ссылок...

[Лекс Айрин]

А есть язык позволяющий писать без ошибок???

Лисп ))) а если честно, то нет. И не может быть. Иначе просто небыло бы необходимости в программис

Щито?

Вот именно из-за таких накладок я и не люблю использовать ссылки на Вику. И, если честно, я рад, что он жив. Просто потому что языков должно быть много.

это же ты аппелируешь к:

Я не люблю рвать цитаты без необходимости.

У пользователей и кобола на машинах нет, а не у пользоваталей он есть.

у кого необходимо, он есть.

[kazalex]

Т.е. опять человеческий фактор...

Он присутствует везде, откуда нельзя исключить человека.

Все правильно... поэтому замыкания и не нужны.

Весьма странная логика. На паскале давно уже можно писать не обращаясь за сырой памятью и не жонглируя указателями. А управлять сырой памятью не умеет никто, даже GC.

Не зависит, т.к. любое присвоение это изменение счетчика ссылок..

Я не только про счётчик ссылок говорю, я про ARC в целом. И ещё раз говорю, подсчёт ссылок давно уже используется в паскале, и ни кто не умер от оверхеда (которого на фоне выполняемой работы и в микроскоп-то не разглядишь).

Вот именно из-за таких накладок я и не люблю использовать ссылки на Вику

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