![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Aug. 20th, 2016
what I don't understand
Aug. 20th, 2016 04:33 pm1. Hask not being a category, what functors are we talking about?
2. What's the point of mentioning "monads" in this case?
3. The belief of Haskellers that every monad is strong is just a stupid belief
4. Same with Scala - it's not a category
5. Or maybe it is, but please define
6. Talking of Scala functors, monads, applicative functors does not have any strict sense
7. "Free monads" - how do you know they exist? Can anybody prove? In Scala. In Haskell.
8. Theorems for free. Are we dealing with Set theory, or what? How is it related to programming?
9. How is any infinite category, e.g. Setf, related to programming?
10. Where do all those variable names come from? (Combinators are ok)
11. The whole traditional sets-based math does not apply to programming, where resources are limited
12. Maybe we should switch to Linear Logic, where resources are understood to be limited?
13. If you think predicate calculus is boolean, think again. It's only boolean if our world is atomic, with no dependencies.
14. How about using intuitionistic logic (topos, that is) for predicate calculus?
15. Since it won't work for programming, how about intuitionistic linear logic?
16. Ok, will have to talk to Valeria, I guess.
2. What's the point of mentioning "monads" in this case?
3. The belief of Haskellers that every monad is strong is just a stupid belief
4. Same with Scala - it's not a category
5. Or maybe it is, but please define
6. Talking of Scala functors, monads, applicative functors does not have any strict sense
7. "Free monads" - how do you know they exist? Can anybody prove? In Scala. In Haskell.
8. Theorems for free. Are we dealing with Set theory, or what? How is it related to programming?
9. How is any infinite category, e.g. Setf, related to programming?
10. Where do all those variable names come from? (Combinators are ok)
11. The whole traditional sets-based math does not apply to programming, where resources are limited
12. Maybe we should switch to Linear Logic, where resources are understood to be limited?
13. If you think predicate calculus is boolean, think again. It's only boolean if our world is atomic, with no dependencies.
14. How about using intuitionistic logic (topos, that is) for predicate calculus?
15. Since it won't work for programming, how about intuitionistic linear logic?
16. Ok, will have to talk to Valeria, I guess.
Встал в полвосьмого; позавтракал остатками творожка. Надо будет в понедельник зайти.
Пошкурил стенку, поработал со спарком (вы видели его текст? Не лифт, конечно, но такая вся джавщина, о...), покрыл стенку грунтовкой.
Пришла мессага от Питера (коллеги моего бывшего), договорились кофейку попить. Два часа сидели чесали языками.
Ага, таки небольшой северанс выдали, по крайней мере некоторым.
Питер работал и со всякой электроникой, и в Сане тоже; так-то он физик; так что у него такой, интересный взгляд на реальность; ну и вообще.
Два часа прочесали языками, потом я поехал в Лоуз за еще грунтовкой и за зеленой краской (как в библиотеке). Мне сделали банку, но цвет оказался какой-то военный; я им сказал, что не тот цвет (у этого официальное название "весенний лес"); и мне долго намучивали новую банку. Да фигня, я твитер читал. А надо было немецкий делать, хз. Ну поделал тоже.
Вот, и покрасил две стенки на кухне; ну и в промежутках программировал чота. Убрал все эти полиэтилены навешанные, как приличный. Завтра продолжу - вымою пол, постелю снова бумагу, и следующий участок кухни будут ремонтировать. А чо.
Ну и все на сегодня.
Пошкурил стенку, поработал со спарком (вы видели его текст? Не лифт, конечно, но такая вся джавщина, о...), покрыл стенку грунтовкой.
Пришла мессага от Питера (коллеги моего бывшего), договорились кофейку попить. Два часа сидели чесали языками.
Ага, таки небольшой северанс выдали, по крайней мере некоторым.
Питер работал и со всякой электроникой, и в Сане тоже; так-то он физик; так что у него такой, интересный взгляд на реальность; ну и вообще.
Два часа прочесали языками, потом я поехал в Лоуз за еще грунтовкой и за зеленой краской (как в библиотеке). Мне сделали банку, но цвет оказался какой-то военный; я им сказал, что не тот цвет (у этого официальное название "весенний лес"); и мне долго намучивали новую банку. Да фигня, я твитер читал. А надо было немецкий делать, хз. Ну поделал тоже.
Вот, и покрасил две стенки на кухне; ну и в промежутках программировал чота. Убрал все эти полиэтилены навешанные, как приличный. Завтра продолжу - вымою пол, постелю снова бумагу, и следующий участок кухни будут ремонтировать. А чо.
Ну и все на сегодня.