ИЧ
Дают
какие?
Size: a a a
2020 April 12
dt
там чатик про плюсы, странно
про плюсы и основы разработки по.
p
какие?
Удобство для рефакторинга, и информация что делает функция в сигнатуре
ИЧ
про плюсы и основы разработки по.
кажется это не в тему
dt
кажется это не в тему
значит не задавай здесь таких вопросов,
ИЧ
Удобство для рефакторинга, и информация что делает функция в сигнатуре
если все функция состоят из IO, разве сигнатуры что-то дают?
p
если все функция состоят из IO, разве сигнатуры что-то дают?
Да, ты видишь конкретно какое ИО совершает каждая функция.
AT
правильно ли я понимаю, что для io языки подобные Haskell не дают особых преимуществ перед менее типизированными языками?
Если уж "и подобные Haskell", то в других системах эффектов IO "распилено на части", что даёт очевидные преимущества в части safety and correctness, как и типы вообще. Да и в Haskell сейчас эффекты абстрагируют и разделяют (см, например, MTL и Capabilities), а в IO уже собирают (интерпретируют) только в самом конце (похоже на этот ваш Dependency Injection).
AT
если все функция состоят из IO, разве сигнатуры что-то дают?
Да, это явно указывает на отсутствие архитектуры и дизайна в программе. 😂
ИЧ
Да, ты видишь конкретно какое ИО совершает каждая функция.
пример, в сигнатеру функции server, не видно что она вызывает insert_ и selectList
ИЧ
@GabrielFallen кстати ты и говорил, что юнит-тесты не нужны, а оказалось их таки пишут, нестыковочка, вот и хочу разобраться
N
Это скорее шутка ,что код на хаскеле не нужно тестирование . Если мол компилиться ,то работает правильно )
ИЧ
ИЧ
ну ладно тогда
AT
@GabrielFallen кстати ты и говорил, что юнит-тесты не нужны, а оказалось их таки пишут, нестыковочка, вот и хочу разобраться
Где это я такое говорил?!!
ИЧ
Где это я такое говорил?!!
когда рассказывал про property-based тесты
ИЧ
Agda может обойтись без тестов?
ИЧ
или F*
AT
Я говорил, что конкретно мы в проекте почти не писали новых юнит-тестнов, не считая полуавтоматически сгенерированных property tests, и несмотря на это всё очень надёжно работало и легко рефакторилось, благодаря очень сильной спецификации на типах.
AT
или F*
Да, эти могут. Ещё Idris, Coq, Isabelle/HOL и некоторые другие.