![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Хаскельщики воображают, что они могут улучшить теорию категорий, путем внедрения каких-то InvariantFunctor (don't ask).
Драма состоит в том, что хаскельную эту хрень копипастят скальщики - и в scalaz, и в cats эта хрень вставлена.
И это типа канает за науку.
По мне так это наука примерно в таком смысле, как алхимия - хотя, надо признать, что Джон Баэз, с его линейной логикой, вполне теоретическую базу подводит под алхимию. Очень даже неплохую. Но это Баэз. А тут всякую хрень навыдумывал Кмет. Ну вы знаете, есть два сопряженных функтора, Кмет и Киселев. Так я за Киселева. Киселев хотя бы интеллигент. А Кмет жлоб.
Драма состоит в том, что хаскельную эту хрень копипастят скальщики - и в scalaz, и в cats эта хрень вставлена.
И это типа канает за науку.
По мне так это наука примерно в таком смысле, как алхимия - хотя, надо признать, что Джон Баэз, с его линейной логикой, вполне теоретическую базу подводит под алхимию. Очень даже неплохую. Но это Баэз. А тут всякую хрень навыдумывал Кмет. Ну вы знаете, есть два сопряженных функтора, Кмет и Киселев. Так я за Киселева. Киселев хотя бы интеллигент. А Кмет жлоб.
