RSA question
SICP on mutability
"Similarly in physics, when we observe a moving particle, we say that the position (state) of the particle is changing. However, from the perspective of the particle’s world line in space-time there is no change involved."
Goodstein, Hydra, a question
My question actually is this: can Goodstein sequence to be proven to stop in a lambda calculus? Naively, it should be.
And another question: can set theory be modeled in lambda? (Or should I reread Dana Scott's works?)
дошла до меня еще одна вещь
А надо. Время. Рассматривать тоже как ресурс. Время - это ресурс. Не знаю, линейная логика справится с этим или чо. Но если мы вообразим, что вот наше вычисление захватывает определенный кусок времени и им пользуется - как в расте, то, может быть, и код будет выглядеть по-другому. А то все таймауты, таймауты, ой, так получилось. И т.д.
Время - это ресурс.
фигня какая-то
А вот сейчас у меня два таких вопроса уже возникает:
- При чем тут нахер спарк, если нужно искать подстроку в строке;
- Каким образом патоген холеры вообще вдруг оказывается в генах человека? Это вообще что, они не ебанулись часом? Это ж лысенковщина. - Тут я неправ. Они ищут не в генах человека, а в супе из генов, который получается, если просто взять капельку крови. (Кстати, а почему оно sequence?)
Ну и заодно хотелось бы вообще понять, что у людей в головах; но я не врач.
студент пишет
Что студент предложил. Считать вызовы. Первый раз возвращать шо попало, второй раз возвращать -x.
жопа с классом Set
Все фигня. Ничего не работает. powerset нету, вообще-то говоря.
Вообще, стоит задуматься, а в типизированной лямбде... да и бестиповой, set можно задать, как adt? А хрен там. И знаете почему? а в бестиповой лямбде нет же равенства. Ну не эквациональная теория, как я понимаю. В том смысле, что равенство в виде лямбды не записывается. Не совсем определение эквациональной, скорее что-то вроде внутренней эквациональности.
Поэтому что? Поэтому надо, как Бартош и предложил, впендюрить какое-нибудь отношение эквивалентности. Вместо равенства сойдет. И "множество", как adt, задается через это отношение. На лямбде это можно навалять; будет много лямбд, но выразить можно.
А смысл? Как-то очень неуклюже, очень.
Статей не нашел на эту тему никаких, одни благоглупости, вроде того, что в википедии написано.
Короче, серьезная тема, да? Приехали.