Типичный диалог в чатике про TS))

:)))

Парни, вы меня и в фп пугаете и в тс

Определитесь

Это же фронт

Передовицы программирования

Окопы

Откопать лопату

Хах

Это все хайп

Но тс мне нравиться

Нравиться пока не побывал

:)))

Но тс мне нравиться

Запомни этот момент

Мне тоже нравился ?

Но возможно, я просто хейтер(

Но предупреждение ошибок опереди раньайма

Но предупреждение ошибок опереди раньайма

и тишина в рантайме даже если они есть

Запомни этот момент

бтв

как сигнатуру pipe написать на ts?

Это жыэс

Это жыэс

и?

как сигнатуру pipe написать на ts?

Вооот!

Тот самый момент

Тс решил бы рантам с флоу

Я это пытался сделать и так и сяк наверное часов шесть, правда

Тс решил бы рантам с флоу

они ведь разные

Тс решил бы рантам с флоу

Рантайм есть в js

В sanctuary

В монадах

Но флов же приблизительно предвидит

И это ппц

В монадах

Опять это слово

Но флов же приблизительно предвидит

флоу умеет и в рантайм и в билд

Это лямда куб систем типов в программировании

вот смотри https://github.com/donnut/typescript-ramda/blob/master/index.d.ts#L1927-L2022

Это лямда куб систем типов в программировании

Ээээ

нельзя динамические вариативные типы

пока что

Это зависимые типы

В для глупых есть ?

Короче это большой буст, это новое положение в этом кубике

зависимые да\

Ну кортежи и вот это всё

Эх

А на нём даже хаскель не на самой вершине, на вершине только Coq

А на нём даже хаскель не на самой вершине, на вершине только Coq

а как же OM?

Когда 90%!-"программистов " не знают о монаде

вроде 90% программистов не смогут написать бинарный поиск, это из каких-то желтых заголовков

а как же OM?

Просто там на вершине это уже скорее инструменты для работы с теорией категорий, чем просто языки. Я как-то рискнул почитать чеё-то увлеченный пост в жж про Agda, я даже сути его проблемы не понял))

Нужно все забыть чтобы вас понять

всё норм

у нас тоже есть тип которого мы не понимаем

но мы уже не обсуждаем ничего

просто говорим слова

Владюнь, ты программист

у нас тоже есть тип которого мы не понимаем

?

Но я не пронимают даже математики

При этом у меня проэкты в проде мировых компаний

Это глупо

Выходит что программист должен решать проблемы а не шарить

Это и напрягает

ERROR: S client not available

Выходит что программист должен решать проблемы а не шарить

ты всё правильно думаешь

я поэтому пока не начал теорию категорий пока

точнее не поэтому

потому что её всем объяснять придётся

Наверное потому я и не начал фп

и порого входа в мой код взлетит до пизды

Наверное потому я и не начал фп

но это теория категорий

попробуй map, reduce, filter

и curry, compose, pipe + pipeP

это самые базы

Где :))) в жквери или петухе

они не сильно усложняют код

если не увлекаться

Спасибо

а бонусы уже хорошие

я уверен и в петухе можно где-то кусочек фп сделать

Фпетух

Хорошо что я ощущаю себя глупым, есть причина продвигаться

Некоторые аспекты мне нравятся в фп

Самые банальные

Композиция функций

Композиция функций

вай?

это же как конструктор

меньше кода, меньше багов

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

Мы просто передаём в пайп объект, завёрнутый в Either и всё, как только что-то сломается, объект будет аккуратно защищён

То есть следующая функция который нужно два числа не сломается, просто by design не станет трогать сломанные значения

разве все ф-ии не должны быть aware что им попадёт Either?

Возможны любые комбинации вариантов