Действительно хорошая статья! 😻
Я только утверждаю, что Either придерживается либо левого, либо правого, но не обоих одновременно, так что Either, верно? 😉
По крайней мере, с точки зрения Haskell / Idris это так - Either - это тип данных, который имеет два однопараметрических конструктора Left и Right.
Что касается Typescript ... Я не большой поклонник, хотя мне приходится много с ним работать. И ИМХО TS сильно нуждается в действительно хорошем выводе типа (иногда нужно перепрофилировать типы ввода / вывода функций, чтобы сделать TS счастливым) и систему звуковых типов (нет никаких гарантий, что кто-то выиграет; t получить ошибки времени выполнения, если ts checker доволен). И я не говорю о сопоставлении с образцом, которое, на мой взгляд, необходимо для хорошего языка программирования FP. Я очень надеюсь, что некоторые из упомянутых вещей рано или поздно появятся в TS. В связи с этим, я думаю, стоит упомянуть ReasonML или Elm (или и то, и другое). 🙂
P.S. Я не знаю, как обстоят дела с Flow ... Может быть, в некоторых случаях он лучше TS. 🤷♂️
P.P.S. Может быть, TS представит зависимые типы, как в Идрисе ... однажды ... может ... кто знает ... 😹
