Дима
Это зависимые типы
Serhii
В для глупых есть ?
Дима
Короче это большой буст, это новое положение в этом кубике
Ale
зависимые да\
Дима
Ну кортежи и вот это всё
Serhii
Эх
Дима
А на нём даже хаскель не на самой вершине, на вершине только Coq
Serhii
Когда 90%!-"программистов " не знают о монаде
Ale
вроде 90% программистов не смогут написать бинарный поиск, это из каких-то желтых заголовков
Дима
а как же OM?
Просто там на вершине это уже скорее инструменты для работы с теорией категорий, чем просто языки. Я как-то рискнул почитать чеё-то увлеченный пост в жж про Agda, я даже сути его проблемы не понял))
Serhii
Нужно все забыть чтобы вас понять
Vlad
всё норм
Vlad
у нас тоже есть тип которого мы не понимаем
Vlad
но мы уже не обсуждаем ничего
Vlad
просто говорим слова
Serhii
Владюнь, ты программист
Serhii
Но я не пронимают даже математики
Serhii
При этом у меня проэкты в проде мировых компаний
Serhii
Это глупо
Serhii
Выходит что программист должен решать проблемы а не шарить
Serhii
Это и напрягает
Vlad
я поэтому пока не начал теорию категорий пока
Vlad
точнее не поэтому
Vlad
потому что её всем объяснять придётся
Serhii
Наверное потому я и не начал фп
Vlad
и порого входа в мой код взлетит до пизды
Serhii
Vlad
попробуй map, reduce, filter
Vlad
и curry, compose, pipe + pipeP
Vlad
это самые базы
Serhii
Где :))) в жквери или петухе
Serhii
Vlad
они не сильно усложняют код
Vlad
если не увлекаться
Serhii
Спасибо
Vlad
а бонусы уже хорошие
Vlad
я уверен и в петухе можно где-то кусочек фп сделать
Serhii
Фпетух
Serhii
Хорошо что я ощущаю себя глупым, есть причина продвигаться
Dreamerinnoise
Некоторые аспекты мне нравятся в фп
Dreamerinnoise
Самые банальные
Dreamerinnoise
Композиция функций
Vlad
это же как конструктор
Vlad
меньше кода, меньше багов
Дима
Мне вот нравится такая фича, вот есть пайплайн, который может упасть или выдать ошибку на любом этапе
Дима
Мы просто передаём в пайп объект, завёрнутый в Either и всё, как только что-то сломается, объект будет аккуратно защищён
Дима
То есть следующая функция который нужно два числа не сломается, просто by design не станет трогать сломанные значения
Vlad
разве все ф-ии не должны быть aware что им попадёт Either?
Дима
Возможны любые комбинации вариантов
Дима
Функция которая aware, которая применяется к внутреннему значению, которая сама обёрнута в Either
Дима
Короче там всё максимально гибко)
Dreamerinnoise
Это все круто, но поди потом лекцию прочитай как надо делать это другим
Vlad
это не сложно
Vlad
и теперь даже си-шарпер вишет тесты с рамдой
Vlad
и люди в других командах тоже
Dreamerinnoise
А на джаве можно фп писать?
Дима
Блин)) Either изначально имеет два метода, Left и Right. нормально всё — возвращаешь Right, сломалось что-то — собираешь любую инфу в Left
Dreamerinnoise
Дима
Скала это топ вообще, зря ты
Vlad
но функции должны знать об этой дата структуре
Дима
пишугоднаскале.jpg
Dreamerinnoise
Где там была картинка про скала
Vlad
я не понимаю как допустим id = x => x
Serhii
хах
Vlad
будет знать про Either
Serhii
eee...
Дима
Дима
Я тут сегодня помучал async generators