Size: a a a

2020 May 05

MB

Mikail Bagishov in rust_offtopic
Потому что оно контрвариантно по возвращаемому значению
источник

AZ

Alex Zhukovsky in rust_offtopic
Переслано от Alex Zhukovsky
Language:
javascript


Source:
console.log("\r\n\t" == false)


Result:
true
источник

AZ

Alex Zhukovsky in rust_offtopic
Stanislav Popov
помоему это у всех
не, у нас обычно есть куа и иногда тесты
источник

VS

Victor Sapiens in rust_offtopic
источник

MB

Mikail Bagishov in rust_offtopic
polunin.ai
почему?
То есть.
Функция из первого семейства может не попасть во второе, потому что у нее слишком маленькая область определегия
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
нужна ваша помощь
вот например множество [5;10] является подмножеством [0;10]
а является ли функция
[5;10] -> [10;20]
подмножеством
[0;20] -> [0; 40]
?
я думаю что да, но хочу услышать ваше мнение
очевидно зависит от определения равенства и включения функций
источник

MB

Mikail Bagishov in rust_offtopic
А функция из второго может не попасть в первое, потому что может вернуть плохое значение
источник

p

polunin.ai in rust_offtopic
крч по-простому:
можно ли вместо второй использовать первую
как это по-умному называется, забыл
источник

MB

Mikail Bagishov in rust_offtopic
Нет, потому что variance не тот
источник

MB

Mikail Bagishov in rust_offtopic
Вот если поменять местами возвращаемые диапазоны, то будет победа
источник

VS

Victor Sapiens in rust_offtopic
Alex Zhukovsky
очевидно зависит от определения равенства и включения функций
Scala говно бро. Не ходи туда. Козлёночком станешь.
источник

MB

Mikail Bagishov in rust_offtopic
Тогда первый тип функций станет подмножеством второго
источник

AZ

Alex Zhukovsky in rust_offtopic
Подобно C, JavaScript использует точку с запятой для завершения многих видов выражений. Однако, в JavaScript, если вы забыли точку с запятой, синтаксический анализатор JavaScript может автоматически вставить точку с запятой туда, где, по его мнению, эти точки с запятыми могли бы, возможно, обязаны, наверное, быть. Это кажется весьма полезным, пока вы не поймёте, что у точки с запятой есть семантический смысл. Вы не можете просто разбрасывать их вокруг, как будто вы Джонни Яблочное Зернышко от пунктуации. Автоматическая вставка точек с запятой в исходный код подобна игре в испорченный телефон, при условии, что каждое потерянное слово заменяется фразой «мать вашу». Это отличный способ освежить ваши межличностные отношения, но это не лучший способ парсить код. Некоторые библиотеки JavaScript намеренно начинаются с точки с запятой, чтобы гарантировать, что если вдруг эта библиотека будет дописана к другой (например, чтобы сократить количество HTTP запросов при загрузке), то синтаксический анализатор JavaScript не станет пытаться слепить последнее выражение первой библиотеки и первое выражение второй библиотеки в какую-то оргию выражений с точкой с запятой в качестве тамады. Такая начальная точка с запятой называется «защитная точка с запятой». Это самый печальный паттерн программирования, о котором я когда-либо слышал, и это при том, что я неплохо владею C++.
источник

p

polunin.ai in rust_offtopic
Mikail Bagishov
Тогда первый тип функций станет подмножеством второго
то есть
f1: [5;10] -> [0;40]
f2: [0;20] -> [10;20]
тут f1 подмножество f2, правильно?
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
то есть
f1: [5;10] -> [0;40]
f2: [0;20] -> [10;20]
тут f1 подмножество f2, правильно?
давай опрелделимся в какой мы аксиоматике
источник

AZ

Alex Zhukovsky in rust_offtopic
все сложности "доказать что 2 больше чем 1" всегда в том, что люди не знают из каких аксиом и правил это выводить
источник

MB

Mikail Bagishov in rust_offtopic
Alex Zhukovsky
все сложности "доказать что 2 больше чем 1" всегда в том, что люди не знают из каких аксиом и правил это выводить
Не "больше", а "подмножество"
источник

MB

Mikail Bagishov in rust_offtopic
Я думаю самая обычная, типо ZFC.
источник

AZ

Alex Zhukovsky in rust_offtopic
Mikail Bagishov
Не "больше", а "подмножество"
"фунции" в обычной теории множеств это отображения, и на них не определны операции включения равенства и тп
источник

MB

Mikail Bagishov in rust_offtopic
Alex Zhukovsky
"фунции" в обычной теории множеств это отображения, и на них не определны операции включения равенства и тп
Вопрос был про семейства функций, то есть множества
источник