сообщения можно редактировать. Магия.

Я

Можно, но не очень удобно

Я

о! А расскажи пожалуйста подробнее

Tweag I/O, , делали haskellR для Amgen, high availability Решение для NDA, для другой фармацевтики проекты, немного консультации

Круто!

Этот чат официально признаётся полезным

Ты только не уходи пожалуйста :)

Раньше в parallel scientific был

Я тут не очень активен особенно когда тут философия, но вообще уходить не собираюсь

Ты только не уходи пожалуйста :)

Куда ж он денется? Он хаскель пропагандирует лет 7, как мнимум

Врятли больше

Просто в телеграме есть два типа чатов: 1. Чаты в которых есть люди, которые правда понимают предмет 2. Чаты в которых есть дети обсуждающие аниме

у меня вот тут есть чат про лисп

там про лисп за всю историю говорили минут 20

Я бы вообще предложил @qnikst выдать банхаммер, @lojban слышишь?

Не надо, я не очень адекватный

Линкедин говорит с 2011

Т.е. про хацкель я узнавал примерно в 2010

Узнал

Я, если что, из тех, кто на хаскеле в продакшн не пишет. Хаскель я узнал году в 2009, за последние 7 лет написал некоторое количество утилиток и прототипов. В большой продакшн не писал никогда.

Считаю, что хаскель в первую очередь полезен тем, что поняв хаскель ты легко поймёшь любой другой функциональный язык

Сейчас я systems engeneer, то есть кода пишу немного. Раньше много писал на scala, swift. Сейчас всё больше clojure

ну и на куче более обычных языков, было дело

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

Более прагматичный = чистоты нет?

да, есть модуль io и чистоты нет

Т.е. про хацкель я узнавал примерно в 2010

Где-то с тех пор я тебя и помню по ЛОРу. Все сходится

Тогда утверждение про прагматичномть странное

И чистота это не только ио

Это add/2. В том числе

То есть глядя на функцию ты не можешь сказать чистая она или нет в общем случае

И чистота это не только ио

Там нет мутабельных переменных от слова совсем

в ерланге тоже переменная биндится один раз

но ее можно разбиндить

Ничто не мешает сложению послать сообщение в процесс другой

вручную)

И в итоге 2+3 может зависеть от состояния третьего процесса

Ничто не мешает сложению послать сообщение в процесс другой

Язык не ограничивает, да. Ограничивает тимлид :)

Тимлид ВС компилятор

Извиняюсь что криво пишу, под дождем убил вчера экран телефона

И в итоге 2+3 может зависеть от состояния третьего процесса

В эрланг среде не принято говорить о чистоте, однако все знают, что сайд-эффекты - зло.

Это и в си знают

Это и в си знают

В Си тоже редко используют сайд-эффекты :)

Но си для этого дает больше инструментов

Вообще ж в хаскеле никто не запрещает жить в ио

в си сайд эффекты сайд эффектами погоняют)

в си сайд эффекты сайд эффектами погоняют)

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

Хотя, есть один случай, когда в си от чистоты проще отступить, чем сделать все правильно.

Это когда есть функция, которая изменяет несколько значений. Можно сделать чисто, но проще передать аргументы по ссылкам и изменить значения прямо внутри функции

Но такие функции желательно не писать

Если что-то может быть написано не так, оно будет написано не так

как известно

никогда не видел в продакшене "чистого кода" на Си

речь сейчас не о inout переменных, конечно

а о том, о чём Александр говорил

чистота это не только мутейтить переменные

это ещё и зависесть от third party любым образом

например printf в теле функции авотматически делает её грязной

например printf в теле функции авотматически делает её грязной

Угу

https://github.com/anton-k/monads-for-drummers

а чем сейчас тестируют в хаскель мире?

HUnit?

Tasty как фреймворк хорош

QuickCheck интересная вещь, но мне кажется что ею для всего не получится пользоваться

или просто надо наловчиться

А хюнит, quick check,smallcheck. Это в зависимости от того что тестировать

ну вот юнит тесты писать

Это ж разные вещи для разных задач

в джаве был JUnit

а smallcheck это для чего?

asty is a modern testing framework for Haskell. It lets you combine your unit tests, golden tests, QuickCheck/SmallCheck properties, and any other types of tests into a single test suite.

тэсти вот это все в себе обьеденил?:)

Author Roman Cheplyaka <roma@ro-che.info> знакомые имена:)

да, только что игрался, в RWH про него читал

Small check проверяет все варианты до определенной глубины

Tasty, hspec, test-framework это врппперы

Тест фреймворк был устаревшим но вроде звп него взялись

почитал tasty пример

и понял что к чему