p
Не видел, покажи
Где-то в 5 веке до нашей эры какой-то Эмануилус Гольдшейнен:
- Да фигня все ваши компьютеры, не видел никакого работающего компьютера!
Size: a a a
2020 August 24
EG
Серьёзные системы типизаций существовали очень давно.
ΑZ
зачем мне это делать
чтобы монады получить
ΑZ
чтобы построить вычислитель его состоавляющие должны быть тоже вычислителями
EG
Не видел, покажи
ΑZ
очевидно библиотека с функциями void printLine() это не вычислитель и её надо обернуть
CD
чтобы монады получить
Там, кстати, чудесный пример, почему тесты лучше формальной верификации :)
"нельзя переводить стрелку в направление стоящего поезда" == -100 человек
и лучше бы это забагало
"нельзя переводить стрелку в направление стоящего поезда" == -100 человек
и лучше бы это забагало
p
Серьёзные системы типизаций существовали очень давно.
И? Да вы блять издеваетесь. Пишите сразу выводы нахуй, мне что за вас додумывается что вы хотели сказать?
EG
И? Да вы блять издеваетесь. Пишите сразу выводы нахуй, мне что за вас додумывается что вы хотели сказать?
...и до сих пор никто нихуя не смог прожить без тестов
p
Окей, и как это опровергает мое утверждение?
p
...и до сих пор никто нихуя не смог прожить без тестов
И?
EG
Окей, и как это опровергает мое утверждение?
Создатели Idris, вероятно, не считают тесты ненужными.
EG
И возникает вопрос «почему», если все инструменты для этого были
p
Создатели Idris, вероятно, не считают тесты ненужными.
Да и я не считаю. И что?
EG
Да и я не считаю. И что?
Тогда я хочу ещё раз услышать твоё утверждение.
EG
Потому что до сих пор оно было похоже на «тесты не нужны»
p
И возникает вопрос «почему», если все инструменты для этого были
Почему железо не добывали семь тысяч лет назад если железная руда уже была? Что за бред.
EG
Почему железо не добывали семь тысяч лет назад если железная руда уже была? Что за бред.
Кривая аналогия. Железная руда в твоём примере подобна самой теоретической возможности существования мощной системы типов.
ΑZ
Там, кстати, чудесный пример, почему тесты лучше формальной верификации :)
"нельзя переводить стрелку в направление стоящего поезда" == -100 человек
и лучше бы это забагало
"нельзя переводить стрелку в направление стоящего поезда" == -100 человек
и лучше бы это забагало
в тестах не лучше
ΑZ
у тебя может быть архитектура которую хрен протестируешь