Hog
Никто не виноват, что на нашей платформе
Hog
Нулл во все реф типы входит
Dr. Friedrich
Тотальная функция — это у которой значения определены для любого набора входных аргументов, и она всегда завершается за конечное время.
Dr. Friedrich
А чистая функция — это которая без видимых побочных эффектов.
Anonymous
ребят, откройте уже наконец-то определение фукнции! хорошо бы, чтобы в явном виде было декартво произвденеие и предикаты. и внимательно вглядитесь.
Dr. Friedrich
Ну и FirstOrDefault() — эм, и чистая, и тотальная функция, в простом варианте.
Dmitry
Чувак чо-то 146% теоретик
повторюсь, посмотрите на https://ru.stackoverflow.com/questions/969586/%D0%9F%D1%80%D0%B8%D1%87%D0%B5%D0%BC-%D0%B7%D0%B4%D0%B5%D1%81%D1%8C-%D0%BB%D1%8F%D0%BC%D0%B1%D0%B4%D0%B0 - это кажется весна пришла
Anonymous
особенно в первый
Anonymous
там где "FORALL"
Anonymous
а потом вернитесь к тотальности еще раз
Dr. Friedrich
ребят, откройте уже наконец-то определение фукнции! хорошо бы, чтобы в явном виде было декартво произвденеие и предикаты. и внимательно вглядитесь.
С удовольствием вгляжусь, если ты его покажешь, это определение.
Anonymous
сам найдешь, если захочешь. это основы математики, еще в школе учат
Dr. Friedrich
Так мы про какие функции вообще?
Vasily
Вообще, за аргументы из серии NO U
Danieλ
Да при чём тут декартово производение? Функция - это просто однозначение отображение одного множества на другое
Vladislav
Но ведь чистота и тотальность функций — нифига не одно и то же, верно?
Тотальная чистота только от порошка Тайд
Dr. Friedrich
Про математические в алгебре, или в теории типов, или где?
Vasily
Хочется достать банхаммер
Danieλ
Понятие чистоты - вообще не математическое
Anonymous
Про математические в алгебре, или в теории типов, или где?
опредление фукнции не привязано к этим областям
Danieλ
в математике все функции чистое
Anonymous
оно одно на все случаи жизни
Anonymous
не хочу потакать иждевению
Dr. Friedrich
Ну как угодно.
Anonymous
это найти гораздо легче, чем печатать тысячу слов
Anonymous
отоброжение множества на множество?
почти. декартво их произведение, удовлетворяющие нескольким свойствам, одн6о из которых - тотальность.
Vasily
не хочу потакать иждевению
Ну т.е. ты не хочешь привести понятийный аппарат дискуссии в состояние, понятное каждому участнику
Anonymous
точнее, подмножество их декартового произвдения. ну ты поенл.
Dr. Friedrich
Я не понял
Dr. Friedrich
Откуда тотальность-то?
Dr. Friedrich
A function is a process or a relation that associates each element x of a set X, the domain of the function, to a single element y of another set Y (possibly the same set), the codomain of the function.
Anonymous
открой определение математическое, я устал уже
Dr. Friedrich
Вот где тут про тотальность?
Dr. Friedrich
A partial map is a partial function, and a total map is a total function
Vasily
Пока выглядит как "Я Д'артаньян, а вы нет"
Dr. Friedrich
Функция, внезапно, бывает тотальной и нетотальной
Dr. Friedrich
Отсюда вытекает, что к функции в общем смысле нельзя предъявлять требование тотальности.
Dr. Friedrich
На этом, мне кажется, эту ветку дискуссии можно заканчивать.
Vasily
Ну я пока не понял, к чему вообще дискуссия
Dr. Friedrich
Начало дискуссии есть в основном чате, я его не трогал.
Vasily
С одной стороны человек говорит "похвалите меня". С другой - "вы все говно"
Анна
Dr. Friedrich
А, да, это само по себе забавное утверждение
Dr. Friedrich
FirstOrDefault - не чистая функция
Насколько я вижу, человеку не нравится, что эта функция может вернуть null. Мол, нуллы от лукавого, а лукавый — это нечистый и есть
Anonymous
Отсюда вытекает, что к функции в общем смысле нельзя предъявлять требование тотальности.
тотална на входных значенияз - всегда
Dr. Friedrich
Значит, и функция нечистая
Vasily
И я вот пытаюсь понять, чего инициатор хочет добиться. То ли, чтобы его похвалили, то ли, чтобы признали его знания и собственное ничтожество перед ним
Anonymous
иначе это не фукнция
Anonymous
что следует из ее определеня
Dr. Friedrich
Просто нужно некоторые свои термины ввести
Anonymous
но я не буду продолжать этот спор пока вы наконец-то не откроете определение фукнции. не на википедии. не чужой пересказ словами. а точные математические формулирвоки. множества ,предикаты и бла-бла.
Dr. Friedrich
Dr. Friedrich
но я не буду продолжать этот спор пока вы наконец-то не откроете определение фукнции. не на википедии. не чужой пересказ словами. а точные математические формулирвоки. множества ,предикаты и бла-бла.
Эти определения я постараюсь не открывать никогда, и поэтому спор никогда не будет продолжен. Deal?
Anonymous
Эти определения я постараюсь не открывать никогда, и поэтому спор никогда не будет продолжен. Deal?
та пожалуйста, мне-то какая разница?
Dr. Friedrich
Спасибо!
Anonymous
И я вот пытаюсь понять, чего инициатор хочет добиться. То ли, чтобы его похвалили, то ли, чтобы признали его знания и собственное ничтожество перед ним
ты зря переходишь на личности и приписываешь мне гнусные мотивы. меня спросили - я ответил. никакой спор не инициировал.
Vasily
Dr. Friedrich
Vasily
ты зря переходишь на личности и приписываешь мне гнусные мотивы. меня спросили - я ответил. никакой спор не инициировал.
Шо значит гнусные? Вполне здоровые потребности
Anonymous
мне спорить с людьми, которые ищут математчиеския опредления в naturla language на wiki и упорно отказыаются пользоваться математическим же аппраторм не интересно, без обид. если мы говорим о логике и мат.определениях - пользуемся соотвествующим аппаратом. если нет - то нет.
Anonymous
это не спор иначе, а болтовня.
Anonymous
математику придумали как раз, чтобы таких споров не было
Dmitry
мне спорить с людьми, которые ищут математчиеския опредления в naturla language на wiki и упорно отказыаются пользоваться математическим же аппраторм не интересно, без обид. если мы говорим о логике и мат.определениях - пользуемся соотвествующим аппаратом. если нет - то нет.
мы говорим о программировании, не?
Anonymous
вообще, не
Anonymous
я раз 10 это уточнил
Vasily
математику придумали как раз, чтобы таких споров не было
Ну смотри. Чтобы спорить о математике, надо , чтобы у всех был одинаковый понятийный аппарат. Математический. Тут же много практиков, не столь близких к математике, как ты
Anonymous
Шо значит гнусные? Вполне здоровые потребности
на мой взляд, достаточно гнусные. не вижу ничего здорового в том ,что ты озвучил.
Anonymous
Ну смотри. Чтобы спорить о математике, надо , чтобы у всех был одинаковый понятийный аппарат. Математический. Тут же много практиков, не столь близких к математике, как ты
так он есть. он настолько распространен, что его сложно не найти.
Vasily
Естественно, если такому быдлану , как я, пытаться начать объяснять на непонятном мне языке, у меня возникнет естественное и здоровое желание уебать объясняющего стулом. Хоть и гнусное.
x
я раз 10 это уточнил
тут много раз просили эти самые определения, но оказалось что они секретные. Так чего удивляться )
Vasily
В общем, у дискуссии могут разные цели, которые на самом деле отличаются от декларируемых
Anonymous
тут много раз просили эти самые определения, но оказалось что они секретные. Так чего удивляться )
они общедоступные. я раз пять сказал, что именно гуглить. дальше - выбирай любую ссылку с учебниками и читай.