Монада (греч. μονάδα от др.-греч. μονάς, μονάδος — «единица», «простая сущность»; μόνος — «один») — согласно пифагорейцам, обозначала «божество», или «первое существо», «единицу» или «единое, как неделимое». Позднее — многозначный термин в различных философских системах Нового времени и современности, в психологии и эзотерике."…пифагорейцы проводили различие между монадой и единицей; монаду они принимали за мысль, а единицу — за число; и точно так же число два они принимали за арифметическое выражение, а диаду (ибо таково, видимо, то название, которое оно у них носит) — за мысль о неопределенном."Гегель Г. В. Ф. Наука логики. — СПБ.: Наука, 1997. С. 191.В Новое время термин «монада» позаимствовали из греческой философии такие философы, как Джордано Бруно, Лейбниц (его философия так и называется «монадология») и другие.У Джордано Бруно монада является основной единицей бытия, в деятельности которой сливаются телесное и духовное, объект и субъект. Высшая субстанция есть «монада монад», или Бог; как целое она проявляется во всём единичном — «всё во всём». Эти идеи Бруно оказали определённое влияние на развитие философии Нового времени: идея единой субстанции в её отношении к единичным вещам разрабатывалась Спинозой, идея монады — Лейбницем, идея единства сущего и «совпадения противоположностей» — в диалектике Шеллинга и Гегеля.Согласно Лейбницу, основаниями существующих явлений, или феноменов, служат простые субстанции, или монады (от греч. monados — единица). Все монады просты и не содержат частей. Их бесконечно много. Монады обладают качествами, которые отличают одну монаду от другой, двух абсолютно тождественных монад не существует. Это обеспечивает бесконечное разнообразие мира феноменов. Идею, согласно которой в мире не существует абсолютно схожих монад или двух совершенно одинаковых вещей, Лейбниц сформулировал как принцип «всеобщего различия» и в то же время как тождество «неразличимых», выдвинув тем самым глубоко диалектическую идею. Согласно Лейбницу, монады, саморазвёртывающие всё своё содержание благодаря самосознанию, являются самостоятельными и самодеятельными силами, которые приводят все материальные вещи в состояние движения. По Лейбницу, монады образуют умопостигаемый мир, производным от которого выступает мир феноменальный (физический космос).Простые субстанции создаются Богом одномоментно, и каждая из них может быть уничтожена только вся сразу, за один момент, то есть простые субстанции могут получить начало только путём творения и погибнуть только через уничтожение, в то время как то, что сложно, начинается или кончается по частям. Монады не могут претерпеть изменения в своём внутреннем состоянии от действия каких-либо внешних причин, кроме Бога. Лейбниц в своей одной из итоговых работ, «Монадологии» (1714), использует следующее метафорическое определение автономности существования простых субстанций: «Монады вовсе не имеют окон и дверей, через которые что-либо могло бы войти туда или оттуда выйти». Монада способна к изменению своего состояния, и все естественные изменения монады исходят из её внутреннего принципа. Деятельность внутреннего принципа, которая производит изменение во внутренней жизни монады, называется стремлением.Последователем Лейбница в России был философ и математик Николай Бугаев. Бугаев под монадой понимает «самостоятельный и самодеятельный индивидуум… живой элемент…» — живой, поскольку обладает психическим содержанием, суть которого — бытие монады для себя самой. Монада для Бугаева — тот единичный элемент, который является базовым для изучения, поскольку монада есть «целое, неделимое, единое, неизменное и себе равное начало при всех возможных отношениях к другим монадам и к себе самой», то есть «то, что в целом ряде изменений остаётся неизменным». Бугаев в своих работах исследует свойства монад, предлагает некоторые методики анализа монад, указывает на некоторые законы, свойственные монадам.Другими словами, монады и все теории, на них основанные - это некая оккультная хуита, не имеющая никакого отношения к науке.
>>926221 (OP)Сейчас бы пояснять за монадки в ЯП малолетнему кловану, не осилившему педивикию. Уроки делай иди.>Монада в функциональном программировании — это абстракция линейной цепочки связанных вычислений.
>>926230Эта боль порватки-сектанта. Что же тогда тогда назвали именно монадой, маня?В хаскеле монада - это базовое понятие, поверх которого строится вся остальная семантика языка. То есть - именно то значение, о котором писал Лейбниц.> Её основное назначение — инкапсуляция функций с побочным эффектом от чистых функций, а точнее их выполнений от вычисленийОтсюда видно, что вся т.н. "теория категорий" - высосанная из пальца хуита. В математике нет никаких побочных эффектов, там функция - это отображение одного множества на другое, и понятие монады абсолютно не нужно. В нормальных языках программирования можно использовать как императивную парадигму (т.е. последовательность команд в классической архитектуре фон Неймана), так и декларативную (основанную на лямбда-исчислении).И только астральщики-сектанты придумывают какие-то одни им понятные "монады", "эндофункторы", "морфизмы" и прочую псевдонаучную ахинею. Потому что согласно их религиозным представлениям нельзя смешивать в одном коде императивность и декларативность.Как и положено сектантам, они активно рекламируют свою религиозную чушь и очень обижаются на критику.
>>926248>В хаскеле монада - это базовое понятие, поверх которого строится вся остальная семантика языкаВ хаскеле монада - тайпкласс, такой же как все остальные. Сам термин "монада" пришел из теорката, где имеет вполне определенное математическое значение.
>>926250Где применяется теория категорий кроме расчетов факториалов на хаскале?Почему ни один советский академик не слышал про эту теорию (при довольно сильной математической школе СССР)? > Неприятие учёных и множество писем в руководящие органы в конце концов привели к отставке Лысенко с поста президента ВАСХНИЛ> В июле 1991 года, вскоре после образования МНТЦ «Вент» (июнь 1991 года) и возложения на неё обязанностей по ведению торсионной программы исследований, на заседании Комитета по науке и технологиям при Верховном Совете СССР эта программа исследований была квалифицирована как лженаучная и прекратилась вскоре с распадом СССРНадеюсь со временем и монадщиков погонят ссаными тряпками из университетов, где им удалось окопаться.
>>926248>Что же тогда тогда назвали именно монадойА чтобы быдло вроде тебя прогрело.>В математике нет никаких побочных эффектов, там функция - это отображение одного множества на другое,Съеби уже чучело. В программировании функция - конструктивное понятие.
>>926221 (OP)бля, посоны, я все хочу упороться эзотерическим хаскелизмом ибо его тут каждому новичку советуют. Но у меня нет времени, т.к. пишу на других языках на работе и дома. Но вот именно хочется обмазаться хаскелем, чтобы достичь нирваны. Что делать?
>>926313какой блять нирваны ты хочешь достичь, быдло? Стремление есть страдание, а нирвана это освобождение от страданий. Пошел на хуй
>>926322Стремление и страдание - лишь иллюзии твоего ограниченного разума, бидло.
>>926221 (OP)Термин монада придумал Лейбниц. Ну как придумал, подсмотрел у Джордано Бруно, на самом деле.Оттуда он уже попал в теорию категорий, которая знаменита другими заимствованиями из философии (например слово "функтор" было у Карнапа).>>926248>там функция - это отображение одного множества на другоеЧто за хуйню я читаю. Ты реально не видишь разницы между, скажем, линейными функционалами и отображениями множеств? Они даже записываются по-разному, идиотина, одно слева направо, другое справа налево. Не знаешь математики -- не пизди.>и прочую псевдонаучную ахинею>>926263>Почему ни один советский академик не слышал про эту теориюОткуда ты это взял, хуесос? Гельфанд не был советским академиком? Шафаревич, Манин не слышали про категории? Кириллов, Фукс, Каждан? Постников, прости господи, Фоменко, Новиков?И сейчас в любом приличном месте их изучают. На бакалавриате матмеха они уже есть в обязательной программе, в вышке в виде факультативов, про нму вообще молчу.Скройся, уёбок.
>>926331а ты значит без разума? Как там в нигде, лте ловит?
>>926348Разум это придуманный в эпоху просвещения концепт, быдло. Мы все находимся в шуньяте, даже ты, просто не понимаешь этого.
>>926351быдло псевдопросветленное
греки пидоры, очевидно, что монада тоже
