Size: a a a

PureScript — русскоговорящее сообщество

2020 July 14

p

parket in PureScript — русскоговорящее сообщество
Oil Field
Да типы вроде как выводятся, но есть ограничения на их вывод + сам вывод часто получается весьма уродским =  нечитабельным
Но ТС это промышленный язык, а пурса нет, на пурсе я работу найти не смогу, а изучать хочу ради интереса
Все желающие смогли найти или purs или haskell.
источник

_:

_Ryner' :: IO ❄️ in PureScript — русскоговорящее сообщество
Aleh Kashnikau
А какие проблемы с null имеются ввиду?
Много ситуаций когда у тебя не nullable значение может быть null
источник

p

parket in PureScript — русскоговорящее сообщество
Переслано от parket
TypeScript’s structural type system was designed based on how JavaScript code is typically written.
источник

p

parket in PureScript — русскоговорящее сообщество
Вот это отличная шутка! Из доки TS.
источник

O

Oil Field in PureScript — русскоговорящее сообщество
Так получается, в пурсе система типов превосходит систему типов тс?
источник

AK

Aleh Kashnikau in PureScript — русскоговорящее сообщество
_Ryner' :: IO ❄️
Много ситуаций когда у тебя не nullable значение может быть null
Чёт опять не очень понимаю о чём именно речь
источник

p

parket in PureScript — русскоговорящее сообщество
Ну да. Система типов там топовая ( не рассматривая всякие пруф-ассистанты )
источник

_:

_Ryner' :: IO ❄️ in PureScript — русскоговорящее сообщество
Oil Field
Так получается, в пурсе система типов превосходит систему типов тс?
Странно что это даже вопрос
источник

AK

Aleh Kashnikau in PureScript — русскоговорящее сообщество
Oil Field
Так получается, в пурсе система типов превосходит систему типов тс?
Да, система типов пурсы позволяет описать гораздо больше вещей + язык позволяет выводить типы для очень большого числа случаев
источник

_:

_Ryner' :: IO ❄️ in PureScript — русскоговорящее сообщество
Aleh Kashnikau
Чёт опять не очень понимаю о чём именно речь
Вот есть у тебя функция которая возвращает значение, ты его используешь и оно оказывается null
источник

O

Oil Field in PureScript — русскоговорящее сообщество
_Ryner' :: IO ❄️
Странно что это даже вопрос
Ну, возможно я ориентируюсь на очень глупую информацию, такую как кол-во контрибьютеров ТС. Их в 5 раз больше, чем у пурсы.   Хотя и понимаю, что это совсем не показатель.
источник

AK

Aleh Kashnikau in PureScript — русскоговорящее сообщество
_Ryner' :: IO ❄️
Вот есть у тебя функция которая возвращает значение, ты его используешь и оно оказывается null
жс можно покрыть неправильными типами?
источник

_:

_Ryner' :: IO ❄️ in PureScript — русскоговорящее сообщество
Oil Field
Ну, возможно я ориентируюсь на очень глупую информацию, такую как кол-во контрибьютеров ТС. Их в 5 раз больше, чем у пурсы.   Хотя и понимаю, что это совсем не показатель.
Тут нет связи
источник

O

Oil Field in PureScript — русскоговорящее сообщество
Aleh Kashnikau
жс можно покрыть неправильными типами?
запросто, есть даже свои штуки для этого, типа оператора !
источник

_:

_Ryner' :: IO ❄️ in PureScript — русскоговорящее сообщество
Aleh Kashnikau
жс можно покрыть неправильными типами?
Запросто
источник

_:

_Ryner' :: IO ❄️ in PureScript — русскоговорящее сообщество
А ещё это функции из библиотек
источник

_:

_Ryner' :: IO ❄️ in PureScript — русскоговорящее сообщество
Я с rxjs настрадался с его null-ами не пойми откуда
источник

O

Oil Field in PureScript — русскоговорящее сообщество
_Ryner' :: IO ❄️
Я с rxjs настрадался с его null-ами не пойми откуда
Надо было в монады всё заворачивать
источник

p

parket in PureScript — русскоговорящее сообщество
Oil Field
Надо было в монады всё заворачивать
Так оно там уже и завернуто.
источник

AK

Aleh Kashnikau in PureScript — русскоговорящее сообщество
Ну я скорее к тому, что пурса тут особо не поможет, так же можно неправильно покрыть и в пурсе типами. В тс будут проблемы с вариативностью, которые кое как пытаются закрывать костылями, но в большом числе случаев там выведется молча any, а вот про проблемы с нулами специфичные для тс я чёт даже не знаю
источник