SK
https://twitter.com/pitopos/status/1248307763509448709
Можете объяснить, чё это значит? Ничего не понятно
Можете объяснить, чё это значит? Ничего не понятно
Ну нет индуктивных типов в х-ле, но если зажмурить один глаз, то нормально
Size: a a a
2020 April 10
ЗП
почему нет?
SK
Потому что "индуктивный" тип в хаскеле населен мусорными термами, которые не позволяют считать его индуктивным в строгом смысле. Хаскель-сообщество как сообщество в целом уже прошло через фазы отрицания-торга относительного этого факта во время известнейшего срача с Харпером circa 2012 и в текущий момент находится в фазе принятия.
A
KV
Ну нет индуктивных типов в х-ле, но если зажмурить один глаз, то нормально
Какое это имеет отношение к IO и системам эффектов?
AZ
AZ
AG
вендекапец
SK
Какое это имеет отношение к IO и системам эффектов?
взялся писать портянку, но митинг, позже допишу
SK
вкратце: нетерминируемость как эффект
AG
Потому что "индуктивный" тип в хаскеле населен мусорными термами, которые не позволяют считать его индуктивным в строгом смысле. Хаскель-сообщество как сообщество в целом уже прошло через фазы отрицания-торга относительного этого факта во время известнейшего срача с Харпером circa 2012 и в текущий момент находится в фазе принятия.
а можно заодно ссылку на срач
SK
а можно заодно ссылку на срач
харпер потёр блог *в очередной раз*, надо их вебархива доставать, попозже достану
A
и на этот срач тоже ссылку можно?
AA
Ну нет индуктивных типов в х-ле, но если зажмурить один глаз, то нормально
есть в том смысле что фича принята и имплементирована,но не вмерджена
AZ
и на этот срач тоже ссылку можно?
сори, это форвард
A
сори, это форвард
👌
D
и на этот срач тоже ссылку можно?
на двачах в pr
SK
харпер потёр блог *в очередной раз*, надо их вебархива доставать, попозже достану
а нет, этот пост живой, https://existentialtype.wordpress.com/2011/04/24/the-real-point-of-laziness/
это начало срача, продолжение в коментах + была пара постов-ответов
это начало срача, продолжение в коментах + была пара постов-ответов
AG
спасибо