Конкретный морфизм откуда? И на основании чего происходит выбор? Учитывая каррирование, частичное применение, представимость любого хом множества в категории hask, изоморфизм между a и ()->a это всё одно и то же.
Это всё не важно. Важно следить как это влияет на дальнейшие формулировки и доказательства. Они следят за своими, мы за своими, все пре деле. В общем типа двух диалектов одного языка. Пока терпимо.
Арнольду из указанной ссылки принадлежит высказывание про экспериментальность.
В остальном, это древний холивар про нужна ли математика подставить_профессию_по_желанию.
Монады может быть, но есть ещё профункторы, естественные преобразования, комонады,T-алгебры и коалгебры, монадические трансформеры, линзы…
Можно интегралы считать как площадь под графиком трафаретом, по клеточкам, и ныть что высшая математика это сложно и никому не нужно, потому что есть трафарет а самые частые случаи уже посчитали (это я про паттерны проектирования).
Допустим я разогнался и врезался на байке в стену на скорости 200 километров в час. Тогда, действительно, никаких гарантий производитель шлема не даёт.
Повторюсь, нужно сделать усилие, и не пихать IO туда где без него можно обойтись. Тогда по сигнатуре функции будет видно что она делает и что ничего другого она сделать не может.
Гарантии есть. Их предоставляет компилятор. Чтобы ему помочь нужно приложить некоторые усилия. Стоит расслабиться и ваша программа превращается в одно большое IO, в дымке которого растворяются все парадигмы. Чтобы этого не происходило нужно потрудиться и разобраться.
Как-то однажды знаменитый учитель Кх Ан вышел на прогулку с учеником Антоном. Надеясь разговорить учителя, Антон спросил: "Учитель, слыхал я, что объекты — очень хорошая штука — правда ли это?" Кх Ан посмотрел на ученика с жалостью в глазах и ответил: "Глупый ученик! Объекты — всего лишь замыкания для бедных."
Пристыженный Антон простился с учителем и вернулся в свою комнату, горя желанием как можно скорее изучить замыкания. Он внимательно прочитал все статьи из серии "Lambda: The Ultimate", и родственные им статьи, и написал небольшой интерпретатор Scheme с объектно-ориентированной системой, основанной на замыканиях. Он многому научился, и с нетерпением ждал случая сообщить учителю о своих успехах.
Во время следующей прогулки с Кх Аном, Антон, пытаясь произвести хорошее впечатление, сказал: "Учитель, я прилежно изучил этот вопрос, и понимаю теперь, что объекты — воистину замыкания для бедных." Кх Ан в ответ ударил Антона палкой и воскликнул: "Когда же ты чему-то научишься? Замыкания — это объекты для бедных!" В эту секунду Антон обрел просветление.
Вызвать получится если передать в качестве аргумента undefined.
То что юнит терминальный объект гарантирует что из любого объекта в него одна стрелка, про стрелки из него ничего не сказано.
Давайте лучше откроем учебник по численным методам.
Что то я опять накосячил, при диагонализации должна получиться как раз формула Бине.
Не получится ускорится таким способом.
Можно дожать константу, если диагонализировать матрицу, то можно основные вычисления свести к вычислению степени от корня из пяти.
В данном случае копроизведение — дизъюнктное объединение.
Конкретный морфизм откуда? И на основании чего происходит выбор? Учитывая каррирование, частичное применение, представимость любого хом множества в категории hask, изоморфизм между a и ()->a это всё одно и то же.
Я долго думал и, кажется понял. Фабрика это функция, возвращающая копроизведение
Это всё не важно. Важно следить как это влияет на дальнейшие формулировки и доказательства. Они следят за своими, мы за своими, все пре деле. В общем типа двух диалектов одного языка. Пока терпимо.
Есть хороший критерий для самопроверки. Вы должны потерять способность объяснять что такое монады.
Арнольду из указанной ссылки принадлежит высказывание про экспериментальность.
В остальном, это древний холивар про нужна ли математика подставить_профессию_по_желанию.
Оставьте суждения о математике математикам.
Чтобы мосты строить тоже снипы есть, но, почему-то, строители учат и математический анализ и механику и сопротивление
Монады может быть, но есть ещё профункторы, естественные преобразования, комонады,T-алгебры и коалгебры, монадические трансформеры, линзы…
Можно интегралы считать как площадь под графиком трафаретом, по клеточкам, и ныть что высшая математика это сложно и никому не нужно, потому что есть трафарет а самые частые случаи уже посчитали (это я про паттерны проектирования).
Допустим я разогнался и врезался на байке в стену на скорости 200 километров в час. Тогда, действительно, никаких гарантий производитель шлема не даёт.
Повторюсь, нужно сделать усилие, и не пихать IO туда где без него можно обойтись. Тогда по сигнатуре функции будет видно что она делает и что ничего другого она сделать не может.
Гарантии есть. Их предоставляет компилятор. Чтобы ему помочь нужно приложить некоторые усилия. Стоит расслабиться и ваша программа превращается в одно большое IO, в дымке которого растворяются все парадигмы. Чтобы этого не происходило нужно потрудиться и разобраться.
Как-то однажды знаменитый учитель Кх Ан вышел на прогулку с учеником Антоном. Надеясь разговорить учителя, Антон спросил: "Учитель, слыхал я, что объекты — очень хорошая штука — правда ли это?" Кх Ан посмотрел на ученика с жалостью в глазах и ответил: "Глупый ученик! Объекты — всего лишь замыкания для бедных."
Пристыженный Антон простился с учителем и вернулся в свою комнату, горя желанием как можно скорее изучить замыкания. Он внимательно прочитал все статьи из серии "Lambda: The Ultimate", и родственные им статьи, и написал небольшой интерпретатор Scheme с объектно-ориентированной системой, основанной на замыканиях. Он многому научился, и с нетерпением ждал случая сообщить учителю о своих успехах.
Во время следующей прогулки с Кх Аном, Антон, пытаясь произвести хорошее впечатление, сказал: "Учитель, я прилежно изучил этот вопрос, и понимаю теперь, что объекты — воистину замыкания для бедных." Кх Ан в ответ ударил Антона палкой и воскликнул: "Когда же ты чему-то научишься? Замыкания — это объекты для бедных!" В эту секунду Антон обрел просветление.
Взято https://ru-lambda.livejournal.com/27669.html
Вызвать получится если передать в качестве аргумента undefined.
То что юнит терминальный объект гарантирует что из любого объекта в него одна стрелка, про стрелки из него ничего не сказано.
Дико извиняюсь, перепутал константу и константную функцию.
Компилятор считает по-другому. Для совмещения теории с практикой нужна формулировка что объекты категории Hask это типы сорта *.
Константная стрелка она из терминального объекта, который не воид а юнит.
Тяжёлое наследие сортов. [a] это тип, просто сорт у него не , а ->*.