Size: a a a

Scala User Group

2021 July 31

GP

Grigory Pomadchin in Scala User Group
важно же, ну для меня, я на это смотрю (как и на скорость разработки) как на риски
источник

AB

Alexander Battistini in Scala User Group
К тому же есть статические анализаторы
источник

IK

Ivan Kerenskiy in Scala User Group
Цена ошибки типов различается существенно. Поэтому лучше в компайл тайме намного
источник

AB

Alexander Battistini in Scala User Group
Ок, тогда c# тебе подойдет
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
Можно в HKD посмотреть
источник

GP

Grigory Pomadchin in Scala User Group
)) у нас скала чат типо
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
Важно. Цель компиляции и типов получить какие-то гарантии относительно работы программы
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
Какие гарантии даёт проверка типов во время работы?
источник

GP

Grigory Pomadchin in Scala User Group
А может химней можно что-то похоже сделать; не знаю ток легче будет или сложнее
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
Это как везде иф не нулл писать
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
О том, что что-то нулл я узнаю в рантайме, когда у меня уже приложение в проде/на стейдже сломается
источник

AB

Alexander Battistini in Scala User Group
статический анализатор заменяет тебе проверку компилятора
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
Нет
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
Не полностью
источник

AD

Apache DOG™ in Scala User Group
Нет их
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
Он менее эффективен чем статические типы и статический анализатор оба
источник

GP

Grigory Pomadchin in Scala User Group
не, слова даж разные
источник

AD

Apache DOG™ in Scala User Group
*не заменяет
источник

AD

Apache DOG™ in Scala User Group
Он не даёт гарантии, он тыкает что вот тут возможно баг
источник

AD

Apache DOG™ in Scala User Group
Типы дают
источник