Re[16]: Имейте совсесть
От: FDSC Россия consp11.github.io блог
Дата: 15.01.20 15:17
Оценка:
Здравствуйте, 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>Как к тебе еще относиться?


Как то, что процитировано, связано с тем, как ко мне относится.

Болтуны и есть болтуны.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.