Конкретно цей його пост багато в яких пунктах слабкий і атакує пропаганду саму по собі: вибирається маркетингова стаття для не-програмістів, додаються хаскельні фанбої, робиться висновок, що «хайп набирает нездоровый оттенок», атакуються «міфи» утворені із реальних тверджень додаванням неявного «завдяки статичній типізації» (Haskell і статична типізація не взаємозамінні поняття), підміняється аудиторія, мовляв, це все написано для програмістів, а не для менеджерів. Підбираються якісь достатньо вузькоспеціалізовані терміни та інструменти, які раптово виявляються «новим фронтиром програмування», при тому, що Хаскель - це мова загального призначення, а Drools, miniRanren і т.д. - інструменти для вирішення конкретних задач (відтворити всю софтверну екосистему в Хаскелі цілком можливо, а покажіть хоч одну операційну систему на Prolog, хоча б, або написану через Machine Learning). А далі знаючі люди показують, що один із цих хіпстерських термінів насправді ізоморфний тому, цінність чого si14 заперечує (epic fail).
Щодо швидкості прототипування сперечатись не буду, це не є одна із сильних сторін Хаскеля.
Діма не писав шо на miniKanren треба писати ОС. Діма писав шо тих хто хизується хаскелем і системами типів як правило дуже легко можно поставити на місце. Зокрема це є продовженням протистояння між Дімою і Сергієм.
Ну, пункт про те, що зосереджуватись тільки на системах типів має смисл лише якщо ти сам дослідник або розробляєш компілятор, справедливий, цим і я страждаю. Але робити висновок, що TAPL не потрібен, дивно і неконструктивно, кожний преться від того, що йому подобається.
Edit: навіть якщо Зефіров сильно наступив на мозолі.
Щодо швидкості прототипування сперечатись не буду, це не є одна із сильних сторін Хаскеля.
Reply
Reply
Я уже і не сподівався побачити нового випуску...
Reply
Діма писав шо тих хто хизується хаскелем і системами типів як
правило дуже легко можно поставити на місце. Зокрема це є продовженням
протистояння між Дімою і Сергієм.
Reply
Edit: навіть якщо Зефіров сильно наступив на мозолі.
Reply
Reply
Reply
Leave a comment