![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
наблюдения
Dec. 19th, 2014 11:35 amПрошелся мимо наших сейлсов... понял, что мы, программисты - в сущности, тыловые крысы.
Dec. 19th, 2014
объединение функции
Dec. 19th, 2014 11:54 amМне тут пеняли, что я слово "функция" употребляю всуе, для любой категории, а между тем ведь оно специально только для множеств применяется.
Ну да. Типа "неубывающая функция" - это для упорядоченных множеств. "непрерывная функция" - для, э... топологических пространств, каковые представляют собой такие специальные множества, что еще решетка приделана. И т.д.
Ну а если мы выходим за пределы множеств, или берем другую вообще категорию, например, Клейсли, то уже... опа, "частичная функция" - тоже есть такое слово. И "многозначная функция". Кокрастыке можно иногда.
Но я не о том.
Конечно, в теории множеств функции моделируются графиками. Это самое {(x,f(x))} - это не функция, а график ея.
А то иначе что получается: функция - тоже множество, э. Ну так две функции тогда можно пересекать. И объединять. И вычитать. И еще можно взять объединение функции, согласно аксиоме объединения. Так как пара... ну хотя бы представим ее в виде (x,y)≡{x,{x,y}}, то ∪(f) = {z|∃p∈f z∈p} = {z|∃x∈X z∈{x,{x,f(x)}}}
Какая-то фигня получается, по-моему. Примерно как в String typing складывать название города, сегодняшнюю дату, и цену на нефть.
Ну да. Типа "неубывающая функция" - это для упорядоченных множеств. "непрерывная функция" - для, э... топологических пространств, каковые представляют собой такие специальные множества, что еще решетка приделана. И т.д.
Ну а если мы выходим за пределы множеств, или берем другую вообще категорию, например, Клейсли, то уже... опа, "частичная функция" - тоже есть такое слово. И "многозначная функция". Кокрастыке можно иногда.
Но я не о том.
Конечно, в теории множеств функции моделируются графиками. Это самое {(x,f(x))} - это не функция, а график ея.
А то иначе что получается: функция - тоже множество, э. Ну так две функции тогда можно пересекать. И объединять. И вычитать. И еще можно взять объединение функции, согласно аксиоме объединения. Так как пара... ну хотя бы представим ее в виде (x,y)≡{x,{x,y}}, то ∪(f) = {z|∃p∈f z∈p} = {z|∃x∈X z∈{x,{x,f(x)}}}
Какая-то фигня получается, по-моему. Примерно как в String typing складывать название города, сегодняшнюю дату, и цену на нефть.
необычный фрукт
Dec. 19th, 2014 02:19 pmselenium, джавный код, класс Куки.
В этих куках toString() возвращает весь текст (дату, домен и т.п.); а equals() сличает только имя и значение.
Так что пляшите, Варвара Лискова, две равных вещи производят разные результаты только так.
Ну или этих... не знаю, кто писал, дареному коню в зубы... джавщики, хуле, что с них взять.
P.S. Это я тут парсер-комбинатор для кук нарисовал, ну и это.
В этих куках toString() возвращает весь текст (дату, домен и т.п.); а equals() сличает только имя и значение.
Так что пляшите, Варвара Лискова, две равных вещи производят разные результаты только так.
Ну или этих... не знаю, кто писал, дареному коню в зубы... джавщики, хуле, что с них взять.
P.S. Это я тут парсер-комбинатор для кук нарисовал, ну и это.
from the internets today
Dec. 19th, 2014 05:08 pm"I am in search of non-conformists looking for a challenging Java/ J2EE Applications Developer role that could potentially be career advancing for you depending on what your current needs might be right now."
"Nice App, but I really wish the Pedometer served its purpose by letting me know when there are pedophiles in the area".
"Nice App, but I really wish the Pedometer served its purpose by letting me know when there are pedophiles in the area".