SP
У меня правильный. Я могу и на динамике писать и на статике
завидую
Size: a a a
2021 February 27
p
Ты понимаешь, что часы это глобальная мутабельная переменная?
Сорян, но нерелевантные аналогии и аргументы я буду игнорировать
p
У меня правильный. Я могу и на динамике писать и на статике
Писать и я могу. А писать так чтобы сразу убирать большую часть багов - только на статике.
CD
Сорян, но нерелевантные аналогии и аргументы я буду игнорировать
Разумеется, реальный мир, построенный на глобальных мутабельных переменных, является неадекватной аналогией для мира розовых поней программирования :)
SP
а я уже и писать не могу походу
p
И вряд ли ты умеешь писать без багов на динамике
p
Так чтобы без промежуточных запусков на 99% все работало
IL
У меня правильный. Я могу и на динамике писать и на статике
Я тоже. Я пишу и на том, и на том. И проекты очень разных масштабов. Никакой особой боли никогда не испытывал. Не понимаю, о чем вообще все эти люди толкуют, но у меня складывается ощущение, что причина в банальной нехватке опыта.
SP
Разумеется, реальный мир, построенный на глобальных мутабельных переменных, является неадекватной аналогией для мира розовых поней программирования :)
ну это бред. в реальном мире вполне катит инкапсуляция
А
Писать и я могу. А писать так чтобы сразу убирать большую часть багов - только на статике.
Ну динамика как и статика - это определенный компромисс
CD
ну это бред. в реальном мире вполне катит инкапсуляция
инкапсуляция это термин, который вне ООП значит совершенно другое
CD
реальный мир не ООП так что семантическая ошибка
SP
какая разница что он значит вне ооп
p
Разумеется, реальный мир, построенный на глобальных мутабельных переменных, является неадекватной аналогией для мира розовых поней программирования :)
Ну и да, конечно часы это не глобальная мутабельная переменная, это совершенно чистая функция. Те часы которые были секунду назад прямо сейчас не существуют. Сейчас существуют новые часы.
E
а в haskell есть dependent types?
SP
у тебя есть в реальном мире какой то контекст и он не глобальный и не мутабельный
А
Ну динамика как и статика - это определенный компромисс
В разных ситуациях можно достигнуть разного компромисса
p
а в haskell есть dependent types?
Нет
CD
Ну и да, конечно часы это не глобальная мутабельная переменная, это совершенно чистая функция. Те часы которые были секунду назад прямо сейчас не существуют. Сейчас существуют новые часы.
А какая сигнатура у QueryPerformanceCounter с точки зрения хаскеля?)
Z
Ты понимаешь, что часы это глобальная мутабельная переменная?
в темпоральной логике - нет, в языках с эффектами - нет, кто сказал что обывательская точка зрения лучшая для моделирования системы?