LO
Меня да
Size: a a a
2020 July 21
TZ
и я по-прежнему считаю, что лучший способ осваивать математику - это пытаться перевести ее на Хаскель, пусть даже в режиме первого приближения.
Пожалуйста, не надо осваивать математику через Хаскелль.
SB
Пожалуйста, не надо осваивать математику через Хаскелль.
А почему?
АГ
Пожалуйста, не надо осваивать математику через Хаскелль.
Наоборот тоже не стоит
NI
Меня да
И меня.
ЮБ
Ага, хороший текст)
Мне лично было интересно узнать про исторические детали, связанные с Cabal. И вообще — ИМХО, Алексис пишет одни из лучших текстов в хаскельном сообществе )
TZ
А почему?
Потому что, ЕМНИП, даже вещественные числа силами Хаскелля не построить на основе аксиом.
TZ
Доказать условные теоремы о гомоморфизмах групп - такой ужас выйдет.
TZ
Геометрия опять-таки силами сабжа плохо иллюстрируется
TZ
Я вообще плохо представляю, как для построения интеграла Лебега может пригодиться сабж
MK
Наоборот тоже не стоит
+
MK
Мне лично было интересно узнать про исторические детали, связанные с Cabal. И вообще — ИМХО, Алексис пишет одни из лучших текстов в хаскельном сообществе )
Хм, да, про исторические я тоже не знал)
MK
Согласен что Алексис крутая
MK
И не академик, кстати, прошу заметить
DR
Потому что, ЕМНИП, даже вещественные числа силами Хаскелля не построить на основе аксиом.
ну как бы есть общее соображение, что вещественных чисел континуум, а вычислимых функций счетное число, поэтому существуют вещественные числа, которые не могут быть сгенерированы никаким алгоритмом
DR
это даже от хаскеля не зависит, это обычная теория алгоритмов
DR
поле рациональных построить можно, только это кмк мало кому интересно
JS
[я тут о своём поною] хочется плюнуть в того, кто говорит, что хаскель не готов к продакшену. сопровождать код на Яве в разы тяжелее. даже для таких банальностей как JSON в Хаскеле более простые и стабильные решения
SB
Потому что, ЕМНИП, даже вещественные числа силами Хаскелля не построить на основе аксиом.
я тебя понимаю и с твоей позицией (особенно про "доказать") согласен. но Хаскель, пожалуй, хорош в другом - он позволяет "сформулировать", перевести математический язык на более тебе понятный. на определенном этапе это перестает быть нужным, хотя не похвастаюсь, что я настолько подкован в математике. но уверен, что полным-полно людей, которым это не нужно.