Сообщение Re[8]: Поругайте TypeScript/node.js от 26.06.2022 9:58
Изменено 26.06.2022 12:08 Pauel
Re[8]: Поругайте TypeScript/node.js
Здравствуйте, Буравчик, Вы писали:
P>>Я то как раз знаю. Линтинг, про который ты говоришь, это ничтожная часть того, что может давать статическая типизация. Прежде всего это инструмент проектирования, это основная задача, а уже потом — подсказки, кодинг, линтинг итд.
Б>Разверни свою мысль про "инструмент проектирования".
А это надо разворачивать?
При наличии статической типизации у меня есть возможность работать с кодом в единицах парадигмы, а не текстовых строчках. Например, трансформировать один вариант дизайна в другой, и так много раз пока не найдется подходящий вариант. И стоить это будет вообще нисколько. Без адекватной поддержки компилятора это не решается от слова никак.
Б>Чем типизация в питоне отличается от TS в плане проектирования?
Мы про твоё утверждение, где статическая типизация вдруг выродилась в линтинг. Подозреваю,
P>>mypy соответствует TypeScript времен примерно 10ти летней давности
Б>Неубедительно. Хочется примеров
http://rsdn.org/forum/philosophy/7967480.1
http://rsdn.org/forum/philosophy/7835882.1
P>>Я то как раз знаю. Линтинг, про который ты говоришь, это ничтожная часть того, что может давать статическая типизация. Прежде всего это инструмент проектирования, это основная задача, а уже потом — подсказки, кодинг, линтинг итд.
Б>Разверни свою мысль про "инструмент проектирования".
А это надо разворачивать?
При наличии статической типизации у меня есть возможность работать с кодом в единицах парадигмы, а не текстовых строчках. Например, трансформировать один вариант дизайна в другой, и так много раз пока не найдется подходящий вариант. И стоить это будет вообще нисколько. Без адекватной поддержки компилятора это не решается от слова никак.Б>Чем типизация в питоне отличается от TS в плане проектирования?
Мы про твоё утверждение, где статическая типизация вдруг выродилась в линтинг. Подозреваю,
P>>mypy соответствует TypeScript времен примерно 10ти летней давности
Б>Неубедительно. Хочется примеров
http://rsdn.org/forum/philosophy/7967480.1
Автор: Ikemefula
Дата: 09.03.21
Дата: 09.03.21
http://rsdn.org/forum/philosophy/7835882.1
Автор: Ikemefula
Дата: 22.09.20
Дата: 22.09.20
Re[8]: Поругайте TypeScript/node.js
Здравствуйте, Буравчик, Вы писали:
P>>Я то как раз знаю. Линтинг, про который ты говоришь, это ничтожная часть того, что может давать статическая типизация. Прежде всего это инструмент проектирования, это основная задача, а уже потом — подсказки, кодинг, линтинг итд.
Б>Разверни свою мысль про "инструмент проектирования".
А это надо разворачивать? При наличии статической типизации у меня есть возможность работать с кодом в единицах парадигмы, а не текстовых строчках. Например, трансформировать один вариант дизайна в другой, и так много раз пока не найдется подходящий вариант. И стоить это будет вообще нисколько. Без адекватной поддержки компилятора это не решается от слова никак.
Бенефит от линтинга на этом фоне и в упор не виден.
Б>Чем типизация в питоне отличается от TS в плане проектирования?
Мы про твоё утверждение, где статическая типизация вдруг выродилась в линтинг. Подозреваю, ты сейчас хочешь поменять задним числом смысл высказывания, что следует из того, что ты притягиваешь mypy как аргумент.
P>>mypy соответствует TypeScript времен примерно 10ти летней давности
Б>Неубедительно. Хочется примеров
http://rsdn.org/forum/philosophy/7967480.1
http://rsdn.org/forum/philosophy/7835882.1
P>>Я то как раз знаю. Линтинг, про который ты говоришь, это ничтожная часть того, что может давать статическая типизация. Прежде всего это инструмент проектирования, это основная задача, а уже потом — подсказки, кодинг, линтинг итд.
Б>Разверни свою мысль про "инструмент проектирования".
А это надо разворачивать?
При наличии статической типизации у меня есть возможность работать с кодом в единицах парадигмы, а не текстовых строчках. Например, трансформировать один вариант дизайна в другой, и так много раз пока не найдется подходящий вариант. И стоить это будет вообще нисколько. Без адекватной поддержки компилятора это не решается от слова никак.Бенефит от линтинга на этом фоне и в упор не виден.
Б>Чем типизация в питоне отличается от TS в плане проектирования?
Мы про твоё утверждение, где статическая типизация вдруг выродилась в линтинг. Подозреваю, ты сейчас хочешь поменять задним числом смысл высказывания, что следует из того, что ты притягиваешь mypy как аргумент.
P>>mypy соответствует TypeScript времен примерно 10ти летней давности
Б>Неубедительно. Хочется примеров
http://rsdn.org/forum/philosophy/7967480.1
Автор: Ikemefula
Дата: 09.03.21
Дата: 09.03.21
http://rsdn.org/forum/philosophy/7835882.1
Автор: Ikemefula
Дата: 22.09.20
Дата: 22.09.20