Anonymous
привести их тут затруднительно
Danieλ
Короче, сил моих нет это наблюдать. Функция - это однозначное отображение одного множества на другое. Т.е. если каждому элементу одного множества соответствуем ровно один элемент - это функция. Не надо приплетать декартовы произведения, ты сам ведёшь речь о множествах
Anonymous
ибо там математчиеские символы
Anonymous
которые не печатаются
x
но я кажется понял. Это называется снобизм 😕
Anonymous
Короче, сил моих нет это наблюдать. Функция - это однозначное отображение одного множества на другое. Т.е. если каждому элементу одного множества соответствуем ровно один элемент - это функция. Не надо приплетать декартовы произведения, ты сам ведёшь речь о множествах
функция это множество и есть. по определению. множество, удовлетворяющее опредленными свойствам. и это множество - подмножество декартвого произведения двух других множеств: INPUT x OUTPUT.
Vasily
Обычный шизонарцисс
Vasily
Я сам таким был
Vasily
Меня глубоко оскорблял факт того, что кто-то не знает того, что знаю я
Anonymous
меня не оскорбляет ничего, ну прям вообще. меня спросили - я ответил. принтсринить вам определения я не буду - если это не надо вам, то мне - тем более.
Ayrat
я бы сказал что вы несёте какую-то хуйню
Vasily
Ну вот, боевые башкиры подтянулись
Anonymous
Это определение из теорката для категории множеств, поэтому является частным случаем
какой теоркат? там его в помине нет. декартовому произведению лет столько же, сколкько Декарту
Dmitry
Danieλ
какой теоркат? там его в помине нет. декартовому произведению лет столько же, сколкько Декарту
ЪЪ, декартово производение не нужно, чтобы определить функцию как таковую
Ayrat
Поэтому иногда надо спускаться с небес на землю и пояснять людям что ты имел в виду, иначе будут носить на хуях!
Ayrat
Я тут просто мимо крокодил
Anonymous
Я тут просто мимо крокодил
слушай, ну я ж на земле. никакого теорката, никаких сложных вещей. множество, другое множество, их произвдеения + инварианты. ну тривиально же.
Danieλ
а ну-ка?
я уже определил, стоит лишь чуть выше промотать
Anonymous
чуть-чуть сложнее примеров на FsCheck
Anonymous
Для кого-то тривиально. Подавляющему большинству людей такое определение ничего не скажет.
но люди сами проявили интерес к этому. теперь это их дело - вникнуть в это, или продолжать гнуть свою линию и продолжать не знать очевидных вещей.
Dmitry
но люди сами проявили интерес к этому. теперь это их дело - вникнуть в это, или продолжать гнуть свою линию и продолжать не знать очевидных вещей.
тут дело в достаточности - ты не привёл достаточных аргументов чтоб в чём-то засомневаться и провести доп. работу по самообразованию. А в нашей картине мира и так всё нормально без необходимости дополнительных сущностей (пересмотра существующих определений) (не считая просто большого количества странных симптомов - реально, такой мощный разрыв между моделью мира в голове и реальностью пугает)
Dmitry
я и не ставил целью что-то у вас в голове менять.
но твоё поведение говорит об обратном
x
но люди сами проявили интерес к этому. теперь это их дело - вникнуть в это, или продолжать гнуть свою линию и продолжать не знать очевидных вещей.
был у нас доклад на func.by от какого-то перца, который физик что ли по образованию, так у него кругом были спектры. Обижался что никто его не понял. Хотя если вдуматься может оно так и есть, всё на свете - спектры, и это изучается в школе, но как-то это не облегчает взаимопонимания.
Anonymous
ну я считаю полезным такие дискуссие, потому что 1 на 100 вместо тупых препирательств и хэйтерства полезет в тему и отроет для себя много нового.
x
https://t.me/fsharp_flood/11606
x
СПСФ! это же так просто!
x
его помнится просили ссылки, откуда он берёт свои определения
x
что-то напоминает )
Hog
@fiftytwoheartz а у тебя есть водительские права?
Hog
Ну, они действующие? Давно обновлял?
x
возможно, этому есть медицинское название
x
mathematic fever
Hog
возможно, этому есть медицинское название
Думаешь я зря про права спрашивал? :))))
Vasily
Обычное весеннее обострение, что вы начинаете
Vladislav
С первыми цветами?
Anonymous
А как права связаны?
Hog
А как права связаны?
Значит врёшь :)
Anonymous
Ясна-панятна
Hog
Ой. Забыл спросить - а ты из России?
Anonymous
Нет
Hog
Нарколога с психиатром больше не нужно проходить?
Anonymous
Нарколога с психиатром больше не нужно проходить?
А, ты про это. Я купил права. Взятки.
Hog
Нет
А откуда? Слайды вроде на русском.
Anonymous
А откуда? Слайды вроде на русском.
Я уехал из Питера окола года назад
Vladislav
https://github.com/dotnet/coreclr/issues/24064
Shub
> Единого устойчивого лидера нет (в этом году первое место в мире у Clojure, а в США — у Scala; год назад мировым лидером был F #, а американским — Erlang).
Shub
домашняя аналитика обзора с SO
Shub
признавайтесь, кто статистику попортил?
Hog
Ну это ж такое же как и тиобе - вид сбоку!
Roman
Самые интересные дискуссии проводятся когда у меня уже ночь. Оказывается где-то есть точное и однозначное понятие функции.
Hog
https://twitter.com/amazingmap/status/789135229399146496?s=12
Klei
https://twitter.com/amazingmap/status/789135229399146496?s=12
Ещё б распределение по годам, а то непонятно, с чем связан бум в Скандинавии. С предрасположенностью или совпадением роста финансовых возможностей и появлением металла.
x
греки жоские
Hog
греки жоские
Пару каких нить названий? Предпочтительно мелодик дэт
x
Пару каких нить названий? Предпочтительно мелодик дэт
это я карту каменчу ) сам в металле плох, завис на уровне motorhead, да ещё сепультуру и тиамат в отрочестве слушал
x
sudo bloodyroots
Romɑn
bitroot
x
ну хотя да, если есть бразильский метал то почему ж не быть греческому
Hog
Да даже наш есть. Прям достойные попадаются. Не смотря на наивняк и спид/киндер метал :) - обожаю «Эпидемию».