RS
Есть только один тип данных - божий
Ваще кстати Бертран Рассел не "категорически" не согласен с тобой
Size: a a a
2019 September 30
OK
почему не согласен?
RS
почему не согласен?
Ну он вроде как считал, что изобрел теорию типов
OK
ммм. Первая ассоциация с ним немного другая. Ну мало ли, вдруг в одной из стабильных точек гравитации Земли может вращаться тот самый божий тип данных, но он настолько мал, что его никто не видит
K{
Люблю этот чат
RS
ммм. Первая ассоциация с ним немного другая. Ну мало ли, вдруг в одной из стабильных точек гравитации Земли может вращаться тот самый божий тип данных, но он настолько мал, что его никто не видит
Просто сейчас шел мимо дома Кантора (который математик) и вспомнил, что как раз теория типов была изобретена, чтоб заткнуть баги в теории множеств, которая, оказалась не пригодной для построения фундамента матана.
RS
Ну и сходу вспомнил всеобъектного додика.
RS
Жил, кстати, Кантор в гетто. Вот пруф:
IK
Люблю этот чат
Почему ещё этот чат бесплатный?
RS
Почему ещё этот чат бесплатный?
Молодой человек, с вас 100 рублей. Перевод на карту Сбербанка по номеру телефона: 89117772010.
RS
Вообще, я считаю что Рассела нужно уважать, он не самый известный математик, а вообще как бы должен бы им быть по логике. Потому что, если б не теория типов, мы бы до сих пор писали бы в ассемблере или, в лучшем случае внутри астшки по типу какой-нибудь лиспятины.
RS
А это, согласитесь, далеко не всем подойдет.
2019 October 01
VK
"Потому что, если б не теория типов, мы бы до сих пор писали бы в ассемблере" странно это слышать в js-чатике =)))
VK
однако даже при наличии теории типов мало кто пишет на haskel
RS
"Потому что, если б не теория типов, мы бы до сих пор писали бы в ассемблере" странно это слышать в js-чатике =)))
Так если б не теория типов, js и не было бы. И в браузере писали сразу на асме. Воти все.
RS
однако даже при наличии теории типов мало кто пишет на haskel
Ну во-первых, типы там все таки есть. А во-вторых - avoid success at all cost, как бы.
OK
Так если б не теория типов, js и не было бы. И в браузере писали сразу на асме. Воти все.
не думаю. Скорее в принципе развитие матлогики замедлилось бы. Теория типов это десятые-двадцатые годы, первый ассемблер это пятидесятые.
RS
А еще, кмк, на хаскелле не пишут, потому что у него задачи нет. Он как бы не для чего. Любой язык должен быть хоть чуть-чуть domain specific, иначе его ждет печальное будущее.
RS
не думаю. Скорее в принципе развитие матлогики замедлилось бы. Теория типов это десятые-двадцатые годы, первый ассемблер это пятидесятые.
Ну не на ассемблере, а скорее на каких-то машинных языках. Компы ж вообще появились по сути как продолжение счетов или как там эти механические машинки назывались.