Size: a a a

2020 August 28

АГ

Александр Гранин... in fprog_spb
Корректность переоценена
источник

АГ

Александр Гранин... in fprog_spb
И системы эффектов ее не дают
источник

АГ

Александр Гранин... in fprog_spb
Это заблуждение
источник

K

Kir in fprog_spb
Я вам сраться не мешаю?
источник

АГ

Александр Гранин... in fprog_spb
Ну вот, взял и помешал :(
источник

K

Kir in fprog_spb
Единственный способ сделать что-то наподобие CPS в JS, который я знаю - это сделать новый язык с трансляцией в JS, добавить lambda lifting и раз в 1000 вызовов выбрасывать исключение с текущей функцией и её аргументами, ловить и перезапускать. Эдакий трамплин.
источник

AT

Alexander Tchitchigi... in fprog_spb
Александр Гранин
И системы эффектов ее не дают
И типы не дают, и тесты не дают. Но помогают.
источник

АГ

Александр Гранин... in fprog_spb
Alexander Tchitchigin
И типы не дают, и тесты не дают. Но помогают.
Тесты дают корректность, определенную требованиями
источник

EM

Evgenii Moiseenko in fprog_spb
Александр Гранин
Тесты дают корректность, определенную требованиями
Заменим тесты на типы в вашем предложении и смысл не поменяется
источник

AT

Alexander Tchitchigi... in fprog_spb
Александр Гранин
Тесты дают корректность, определенную требованиями
Во-первых, наличие требований – уже редкость, во-вторых, наличие тестов, покрывающих все требования – былинность. Так что... 🤷‍♀️
источник

K

Kir in fprog_spb
Я полное покрытие тестами видел только когда я студенту колледжа фрилансил HM-тайпчекер
источник

AV

Alexander Vershilov in fprog_spb
Тесты не дают никакой корректности
источник

K

Kir in fprog_spb
Там было 120 тестов и это было type driven development
источник

AV

Alexander Vershilov in fprog_spb
Но могут сказать, что что-то работает, возможно даже так, как предполагается
источник

АГ

Александр Гранин... in fprog_spb
В требованиях может быть определено, какие участки кода должны быть хорошо протестированы, а где можно срезать углы. Полного покрытия не требуется
источник

АГ

Александр Гранин... in fprog_spb
Alexander Vershilov
Тесты не дают никакой корректности
Чушь
источник

AV

Alexander Vershilov in fprog_spb
> В требованиях
> участки кода
источник

AV

Alexander Vershilov in fprog_spb
Нет.
источник

АГ

Александр Гранин... in fprog_spb
Чушь, конечно
источник

K

Kir in fprog_spb
🍿
источник