AK
Или потеря типовых параметров в композиции функций, тоже беда
Size: a a a
2020 July 14
_:
Ну я скорее к тому, что пурса тут особо не поможет, так же можно неправильно покрыть и в пурсе типами. В тс будут проблемы с вариативностью, которые кое как пытаются закрывать костылями, но в большом числе случаев там выведется молча any, а вот про проблемы с нулами специфичные для тс я чёт даже не знаю
В пурсе такого не встречал
O
Так оно там уже и завернуто.
Ну вот не совсем в тему, но относительно недавно благодаря операторам optional chaining и nullish coalescing отпала нужда в maybe монаде, хотя ради неё я даже хотел одну либу заюзать - sanctuary js
а без этих операторов раньше ифами обвешивались
а без этих операторов раньше ифами обвешивались
_:
В пурсе такого не встречал
В тс я в этом живу
GP
Единственное что в пурсе c типами бесит дак это только явный forall и то что в либах отсутсвуют алиасы (например halogen-formless ) и из за этого километровые дефиниции, а так все отлично
O
А в пурсе рекурсивные типы насколько ограниченные вообще?
O
просто в сравнении с ТС там всё очень плохо
GP
Единственное что в пурсе c типами бесит дак это только явный forall и то что в либах отсутсвуют алиасы (например halogen-formless ) и из за этого километровые дефиниции, а так все отлично
Хотя возмонжо это только у меня
O
Единственное что в пурсе c типами бесит дак это только явный forall и то что в либах отсутсвуют алиасы (например halogen-formless ) и из за этого километровые дефиниции, а так все отлично
Что значит "явный forall"?
GP
Ну в отличие от старшего брата приходится явно выписывать все переменные типа для rank1
p
Ну, это потому что ScopedTypeVariables по-дефолту, я так понимаю.
p
Меня forall не парит, я его даже в hs пишу.
p
Чем это вообще может бесить? Ну сделай себе макрос :: forall
GP
Да но если в компоненту ниже и ниже нужно протаскивать открытые как бы переменные типов
GP
то это уже походит на генерики какие то
GP
В итоге любой алиас обтыкан
p
Да но если в компоненту ниже и ниже нужно протаскивать открытые как бы переменные типов
Не понял.
GP
Ну в халогене например, компоненты слоты вот эти квери и прочее
GP
Надо посмтоянно forall forall forall
GP
очень громоздко