Здравствуйте, Mamut, Вы писали:
M>>>Он умеет делать все то, что я оставил в комментарии по ссылке
FDS>>И?
FDS>>Это умеет делать любой ФП.
M>Нет, не любой
ok. Тогда, пожалуйста, можете сказать, что именно конкретно из верхнего сообщения темы он может делать и какими методами.
Ещё лучше, если будет какая-то понятная документация.
По Haskell я её понятную не вижу.
Возможно, потому что плохо искал. Ну и потому, что мне этот язык всё равно не подходит — это чистый ФП (если, конечно, речь идёт о чистом Haskell). Для моих задач чистый ФП — это чуть меньшее самоубийство, чем чистый C++
Но если дадите более подробно, я посмотрю.
Когда-то я пробовал изучать этот язык, но не нашёл понятного руководства, где было бы хорошо расписаны его достоинства.
FDS>>И я вовсе не просил мне посоветовать ФП.
M>Все, что тебе советуют, ты отметаешь, как капризный ребенок.
Pony, Ada, UEFI. Что из этого я отмёл?
Это "всё, что мне посоветовали" из того, что я просил.
Я всё это не отмёл. Я всё это посмотрел. Установил GNAT, разобрался немного в синтаксисе и в модуле SPARK. Удивился возможностям верификации, которые, как я думал, есть только в F* .
Pony тоже посмотрел.
По UEFI попрограммировал. Собираюсь дальше это использовать.
Что именно и конкретно я отмёл?
M>>>И ты еще удивляешься, что мы тебя несерьезно воспринимаем
FDS>>???
M>Что тебе непонятно? Вот что ты пишешь:
FDS>>Вот скажите, сколько из вас, болтунов, о том, что там по ссылкам, вообще слышали?
FDS>>Это не предложение. Это детский сад с выкрикиванием любимых слов без повода.
FDS>>Тебе не кажется, что логика в твоих словах полностью отсутствует?
M>Как к тебе еще относиться?
Как то, что процитировано, связано с тем, как ко мне относится.
Болтуны и есть болтуны.