Дмитрий Махнёв Артём Кобзарь - (не|ну)жная монада Either на практике и в теории 

Это один из самых крутых и важных докладов, которые я когда либо видел.

Ссылки на упомянутые доклады: 1. ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-bJ3glfA-jqo.html 2. ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-9s_4wpzENhg.html

Круто!

Доклад хороший, но нужно снять розовые очки Вижу очевидную проблему - перегруженность: Представим, что нам нужно поочереди обработать 3 запроса, где 1 зависит от 2, а 2й от 3го (их может быть больше) Что мы получим? +пару десятков строк проверок, что результат 1 не ошибка, что результат 2 не ошибка и результат 3 не ошибка. Для избегания этого и придумали try catch, разве нет? Решение проблемы разделения ошибок и исключений простейшая - завести класс внутренних ошибок и метод, который перепрокидывает ошибку, если это не внутренняя ошибка. Проблема с типизацией отпадает если задать вопрос "Зачем она нужна?". Тип данных нужен для обработки данных. Если обрабатываешь данные, то нужно знать какая это конкретно ошибка, иначе получится error: Error1 | Error2 | Error3 и всё еще нужен будет instanceof. Если это любая ошибка, то типа базового типа ошибки будет достаточно. Логирование - сделай функцию logAndThrow(e) или tryOrLog(() => {throw})