X
Бери тогда хЕрланг
Может, когда-нибудь в следующем году
Size: a a a
2020 December 31
Т8
Ты бы ещё эликсир посоветовал
что скажешь о Dart?
P
Т-34 85
что скажешь о Dart?
Говно? Нет, говнище
Т8
Говно? Нет, говнище
а почему?
DS
Т-34 85
я вот никак не могу понять. Очевидно, что Rust делался в первую очередь как язык с очень низким оверхедом, что изначально противоречит концепции ФП. А вы хотите из него жать и жать ФП. Так может, вы не в ту дверь долбитесь? Может, лучше поискать более оверхедный язык, но с вполне себе хорошей ФП парадигмой? Какой-нибудь Haskell, может быть
Низкоуровневость и ФП друг другу особо не противоречат. См. вплоть до совсем дико низкоуровневого ATS.
Это скорее просто желание посмотреть что можно выжать из системы типов языка.
Это скорее просто желание посмотреть что можно выжать из системы типов языка.
X
Т-34 85
что скажешь о Dart?
Не видел ни разу, только слышал, что это ухудшенный джаваскрипт
Т8
Низкоуровневость и ФП друг другу особо не противоречат. См. вплоть до совсем дико низкоуровневого ATS.
Это скорее просто желание посмотреть что можно выжать из системы типов языка.
Это скорее просто желание посмотреть что можно выжать из системы типов языка.
так ATS - это же про мощную типизацию, но не про ФП. Или это не так?
P
Т-34 85
а почему?
Будут вводить что-то раз в 10 лет как женерики в го?
X
Т-34 85
так ATS - это же про мощную типизацию, но не про ФП. Или это не так?
Фп - это по большей части про типы
Т8
Не видел ни разу, только слышал, что это ухудшенный джаваскрипт
чоо? Что значит "ухудшенный"?
Т8
Будут вводить что-то раз в 10 лет как женерики в го?
?
X
Т-34 85
чоо? Что значит "ухудшенный"?
За что купил, за то и продаю
P
Т-34 85
?
Он без будущего
Т8
Фп - это по большей части про типы
а я думал, что про обобщённое программирование
X
Т-34 85
а я думал, что про обобщённое программирование
Одно другому не мешает
DS
Т-34 85
так ATS - это же про мощную типизацию, но не про ФП. Или это не так?
Оно обычно рядом идёт, потому что нормальная реализация зависимых типов подразумевает ФП.
H
Т-34 85
а я думал, что про обобщённое программирование
(это по большей части одно и то же)
Т8
(это по большей части одно и то же)
ты хочешь сказать, что в C++ мощная система типов?
H
я не знаю C++
Т8
я не знаю C++
но шаблоны-то там мощные, разве нет?