AP
FFI не нужен. Пусть разрешат обратно нативный код в своём коде.
Size: a a a
2020 November 02
DK
На ТС можно в ФП. Многим проще так, чем уходить в маргинальные экосистемы
Можно, но это все же другое чем ML
DK
Сильно другое
AP
ML не нужен массам
AP
Точнее так: нужен, но они его не примут
DK
Это просто ниша... массам нужно то что им вотрут
DK
Начнут Майкрософт лить миллиарды в мл и он срочно всем станет нужен
AP
Я уже писал выше, пока эльм пытался быть дружелюбным соседом, TC протолкнули и починили самые больные места JS
AP
Заменять JS теперь не нужно — нужно заменять TS. А тут уже недостаточно говорить "но у нас же типы", потому что типы нынче ценят и в массах. А показать разницу между системой типов TS и того же Эльма — сложно. Потому что у Эльма оная бедновата!
AP
Как завезут размеченные суммы и пат.мат. в TS — а MS это точно сделает — будет ещё сложнее
GP
Странно что все еще не упомянули в этом разговоре Reason)
AP
Зачем? Это же OCaml
AP
Который и в нише ФП-то не самый популярный
DK
Как завезут размеченные суммы и пат.мат. в TS — а MS это точно сделает — будет ещё сложнее
Расскажи про размеченные суммы и пат. Мат.... хотя бы расшифруй))
MP
Который и в нише ФП-то не самый популярный
а кто там самый популярный? haskell ?
AP
Denis Krivosheev
Расскажи про размеченные суммы и пат. Мат.... хотя бы расшифруй))
tagged unions — суммы типов, по которым можно матчить
AP
"пат.мат" == pattert matching
DK
tagged unions — суммы типов, по которым можно матчить
А разве дискриминант юнион тайпс это не то самое?
AP
Не совсем. Там нет метки, по которой выбор типа происходит. Приходится делать каст условный