JS ФП тезисы - История изменений

imported>Supportadmin: /* Array Functor */

2015-06-12T08:49:03Z

Array Functor

← Предыдущая версия		Версия от 11:49, 12 июня 2015
Строка 206:		Строка 206:

	Композиция функций выполняется из набора функций при помощи вызова следующей функции, с результатами предыдущей функции. Обратите внимание, что наша функция compose работает справа налево. g называется раньше, чем f.		Композиция функций выполняется из набора функций при помощи вызова следующей функции, с результатами предыдущей функции. Обратите внимание, что наша функция compose работает справа налево. g называется раньше, чем f.
			<nowiki>
	[1, 2, 3].map(compose(plus1, plus2)) ==>> [ 4, 5, 6 ]		[1, 2, 3].map(compose(plus1, plus2)) ==>> [ 4, 5, 6 ]

	[1, 2, 3].map(plus2).map(plus1) ==>> [ 4, 5, 6 ]		[1, 2, 3].map(plus2).map(plus1) ==>> [ 4, 5, 6 ]</nowiki>

	Да! Map действительно функтор.		Да! Map действительно функтор.

imported>Supportadmin: /* Конструктор Promise */

2015-06-08T05:49:19Z

Конструктор Promise

← Предыдущая версия		Версия от 08:49, 8 июня 2015
Строка 1012:		Строка 1012:
	}</nowiki>		}</nowiki>
	==Конструктор Promise==		==Конструктор Promise==
	// vow.js		[https://github.com/douglascrockford/monad/blob/master/vow.js источник]
			<nowiki>// vow.js
	// Douglas Crockford		// Douglas Crockford
	// 2015-05-02		// 2015-05-02
Строка 1531:		Строка 1532:
	};		};
	}());		}());
			</nowiki>

	==Конструктор промисов==		==Конструктор промисов==

imported>Supportadmin: /* Конструктор монад */

2015-06-08T05:48:28Z

Конструктор монад

Внесённые изменения

imported>Supportadmin: /* statemonad.js */

2015-06-08T05:40:59Z

statemonad.js

← Предыдущая версия		Версия от 08:40, 8 июня 2015
Строка 889:		Строка 889:

	console.log(result([]))</nowiki>		console.log(result([]))</nowiki>
			==Конструктор монад==
			[https://github.com/douglascrockford/monad/blob/master/monad.js Источник]

			// monad.js
			// Douglas Crockford
			// 2015-05-02

			// Public Domain

			// The MONAD function is a macroid that produces monad constructor functions.
			// It can take an optional modifier function, which is a function that is
			// allowed to modify new monads at the end of the construction processes.

			// A monad constructor (sometimes called 'unit' or 'return' in some mythologies)
			// comes with three methods, lift, lift_value, and method, all of which can add
			// methods and properties to the monad's prototype.

			// A monad has a 'bind' method that takes a function that receives a value and
			// is usually expected to return a monad.

			// var identity = MONAD();
			// var monad = identity("Hello world.");
			// monad.bind(alert);

			// var ajax = MONAD()
			// .lift('alert', alert);
			// var monad = ajax("Hello world.");
			// monad.alert();

			// var maybe = MONAD(function (monad, value) {
			// if (value === null \|\| value === undefined) {
			// monad.is_null = true;
			// monad.bind = function () {
			// return monad;
			// };
			// return null;
			// }
			// return value;
			// });
			// var monad = maybe(null);
			// monad.bind(alert); // Nothing happens.

			/jslint this /

			function MONAD(modifier) {
			'use strict';

			// Each unit constructor has a monad prototype. The prototype will contain an
			// is_monad property for classification, as well as all inheritable methods.

			var prototype = Object.create(null);
			prototype.is_monad = true;

			// Each call to MONAD will produce a new unit constructor function.

			function unit(value) {

			// Construct a new monad.

			var monad = Object.create(prototype);

			// In some mythologies 'bind' is called 'pipe' or '>>='.
			// The bind method will deliver the unit's value parameter to a function.

			monad.bind = function (func, args) {

			// bind takes a function and an optional array of arguments. It calls that
			// function passing the monad's value and bind's optional array of args.

			// With ES6, this horrible return statement can be replaced with

			// return func(value, ...args);

			return func.apply(
			undefined,
			[value].concat(Array.prototype.slice.apply(args \|\| []))
			);
			};

			// If MONAD's modifier parameter is a function, then call it, passing the monad
			// and the value.

			if (typeof modifier === 'function') {
			value = modifier(monad, value);
			}

			// Return the shiny new monad.

			return monad;
			}
			unit.method = function (name, func) {

			// Add a method to the prototype.

			prototype[name] = func;
			return unit;
			};
			unit.lift_value = function (name, func) {

			// Add a method to the prototype that calls bind with the func. This can be
			// used for ajax methods that return values other than monads.

			prototype[name] = function () {
			return this.bind(func, arguments);
			};
			return unit;
			};
			unit.lift = function (name, func) {

			// Add a method to the prototype that calls bind with the func. If the value
			// returned by the func is not a monad, then make a monad.

			prototype[name] = function () {
			var result = this.bind(func, arguments);
			return result && result.is_monad === true
			? result
			: unit(result);
			};
			return unit;
			};
			return unit;
			}
			==Конструктор промисов==
			[]

	==Дополнительная информация==		==Дополнительная информация==

imported>Supportadmin: /* Дополнительная информация */

2015-06-07T11:02:53Z

Дополнительная информация

← Предыдущая версия		Версия от 14:02, 7 июня 2015
Строка 893:		Строка 893:
	*[http://functionaljavascript.blogspot.ru/ Functional JavaScript (блог)]		*[http://functionaljavascript.blogspot.ru/ Functional JavaScript (блог)]
	*[https://rsdn.ru/forum/decl/4047805.all Что такое монады? (форум)]		*[https://rsdn.ru/forum/decl/4047805.all Что такое монады? (форум)]
			*[http://jabberwocky.eu/2012/11/02/monads-for-dummies/ Monads for Dummies]
	*[https://curiosity-driven.org/monads-in-javascript Monads in JavaScript]		*[https://curiosity-driven.org/monads-in-javascript Monads in JavaScript]
	*[https://blog.jcoglan.com/2011/03/05/translation-from-haskell-to-javascript-of-selected-portions-of-the-best-introduction-to-monads-ive-ever-read/ Translation from Haskell to JavaScript of selected portions of the best introduction to monads I’ve ever read]		*[https://blog.jcoglan.com/2011/03/05/translation-from-haskell-to-javascript-of-selected-portions-of-the-best-introduction-to-monads-ive-ever-read/ Translation from Haskell to JavaScript of selected portions of the best introduction to monads I’ve ever read]

imported>Supportadmin: /* Вместо вступления */

2015-06-07T10:47:57Z

Вместо вступления

← Предыдущая версия		Версия от 13:47, 7 июня 2015
Строка 1:		Строка 1:
	==Вместо вступления==		==Вместо вступления==
	*[http://s.arboreus.com/2009/09/haskell-horrors.html]		*[http://s.arboreus.com/2009/09/haskell-horrors.html]
	*[]		*[http://shamansir-ru.tumblr.com/post/18189187384/the-asynchronous-samurai-way]

	Для человека, привыкшему к императивным языкам, испорченному годами объектно-ориентированного мышления монады кажутся странными. Монады являются и одновременно не являются контейнерами. Они — обёртки, упаковки для вычислений, а не для значений. Однако они обёртывают вычисления не для того, чтобы их было удобнее хранить в монадных коробочках, а чтобы их можно было удобнее соединять друг с другом. Вместо «коробочек» представьте обыкновенные кирпичи, которые ровно кладутся друг к другу. Это, кстати, похоже на шаблон Adapter в ОО-проектировании. Каждая монада определяет какой-то способ передавать результат от одного вычисления к другому и реализует стандартный интерфейс. И что бы ни случилось, результат всегда останется в той же монаде (даже, если произойдёт сбой, fail).		Для человека, привыкшему к императивным языкам, испорченному годами объектно-ориентированного мышления монады кажутся странными. Монады являются и одновременно не являются контейнерами. Они — обёртки, упаковки для вычислений, а не для значений. Однако они обёртывают вычисления не для того, чтобы их было удобнее хранить в монадных коробочках, а чтобы их можно было удобнее соединять друг с другом. Вместо «коробочек» представьте обыкновенные кирпичи, которые ровно кладутся друг к другу. Это, кстати, похоже на шаблон Adapter в ОО-проектировании. Каждая монада определяет какой-то способ передавать результат от одного вычисления к другому и реализует стандартный интерфейс. И что бы ни случилось, результат всегда останется в той же монаде (даже, если произойдёт сбой, fail).

imported>Supportadmin: /* Вместо вступления */

2015-06-07T10:45:22Z

Вместо вступления

← Предыдущая версия		Версия от 13:45, 7 июня 2015
Строка 19:		Строка 19:
	* Identity - привязка/подмена информации в возвращаемом значении;		* Identity - привязка/подмена информации в возвращаемом значении;
	* State - привязка состояния к функции		* State - привязка состояния к функции
	* другие - смотрите ссылки [https://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D0%BD%D0%B0%D0%B4%D0%B0_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5) в русской статье на википедии] и раздел «Ссылки» статьи на английском).		* другие (смотрите ссылки [https://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D0%BD%D0%B0%D0%B4%D0%B0_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5) в русской статье на википедии] и раздел «Ссылки» статьи на английском).

	==Парадигмы (стили) программирования==		==Парадигмы (стили) программирования==

imported>Supportadmin: /* Вместо вступления */

2015-06-07T10:45:00Z

Вместо вступления

← Предыдущая версия		Версия от 13:45, 7 июня 2015
Строка 19:		Строка 19:
	* Identity - привязка/подмена информации в возвращаемом значении;		* Identity - привязка/подмена информации в возвращаемом значении;
	* State - привязка состояния к функции		* State - привязка состояния к функции
	* другие - смотрите ссылки [ https://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D0%BD%D0%B0%D0%B4%D0%B0_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5\| в русской статье на википедии] и раздел «Ссылки» статьи на английском).		* другие - смотрите ссылки [https://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D0%BD%D0%B0%D0%B4%D0%B0_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5) в русской статье на википедии] и раздел «Ссылки» статьи на английском).

	==Парадигмы (стили) программирования==		==Парадигмы (стили) программирования==

imported>Supportadmin: /* Вместо вступления */

2015-06-07T10:42:15Z

Вместо вступления

← Предыдущая версия		Версия от 13:42, 7 июня 2015
Строка 19:		Строка 19:
	* Identity - привязка/подмена информации в возвращаемом значении;		* Identity - привязка/подмена информации в возвращаемом значении;
	* State - привязка состояния к функции		* State - привязка состояния к функции
	* другие - смотрите ссылки [ https://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D0%BD%D0%B0%D0%B4%D0%B0_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5 в русской статье на википедии] и раздел «Ссылки» статьи на английском).		* другие - смотрите ссылки [ https://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D0%BD%D0%B0%D0%B4%D0%B0_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5\| в русской статье на википедии] и раздел «Ссылки» статьи на английском).

	==Парадигмы (стили) программирования==		==Парадигмы (стили) программирования==

imported>Supportadmin: /* Вместо вступления */

2015-06-07T10:41:49Z

Вместо вступления

← Предыдущая версия		Версия от 13:41, 7 июня 2015
Строка 1:		Строка 1:
	==Вместо вступления==		==Вместо вступления==
	*[http://s.arboreus.com/2009/09/haskell-horrors.html]		*[http://s.arboreus.com/2009/09/haskell-horrors.html]
			*[]

	Для человека, привыкшему к императивным языкам, испорченному годами объектно-ориентированного мышления монады кажутся странными. Монады являются и одновременно не являются контейнерами. Они — обёртки, упаковки для вычислений, а не для значений. Однако они обёртывают вычисления не для того, чтобы их было удобнее хранить в монадных коробочках, а чтобы их можно было удобнее соединять друг с другом. Вместо «коробочек» представьте обыкновенные кирпичи, которые ровно кладутся друг к другу. Это, кстати, похоже на шаблон Adapter в ОО-проектировании. Каждая монада определяет какой-то способ передавать результат от одного вычисления к другому и реализует стандартный интерфейс. И что бы ни случилось, результат всегда останется в той же монаде (даже, если произойдёт сбой, fail).		Для человека, привыкшему к императивным языкам, испорченному годами объектно-ориентированного мышления монады кажутся странными. Монады являются и одновременно не являются контейнерами. Они — обёртки, упаковки для вычислений, а не для значений. Однако они обёртывают вычисления не для того, чтобы их было удобнее хранить в монадных коробочках, а чтобы их можно было удобнее соединять друг с другом. Вместо «коробочек» представьте обыкновенные кирпичи, которые ровно кладутся друг к другу. Это, кстати, похоже на шаблон Adapter в ОО-проектировании. Каждая монада определяет какой-то способ передавать результат от одного вычисления к другому и реализует стандартный интерфейс. И что бы ни случилось, результат всегда останется в той же монаде (даже, если произойдёт сбой, fail).
Строка 11:		Строка 12:
	seq создаёт список целых чисел. awk вычислят куб каждого из них. Что здесь замечательного? У нас есть две слабо связанные друг с другом программы, которым мы можем легко указать работать вместе. Поток текста создаваемый программой слева попадает по конвееру в программу справа, которая может читать этот поток, что-то с ним делать и создавать уже новый текстовый поток. Текстовый поток — общий формат для результата вычислений, \| — операция, связывающая их воедино.		seq создаёт список целых чисел. awk вычислят куб каждого из них. Что здесь замечательного? У нас есть две слабо связанные друг с другом программы, которым мы можем легко указать работать вместе. Поток текста создаваемый программой слева попадает по конвееру в программу справа, которая может читать этот поток, что-то с ним делать и создавать уже новый текстовый поток. Текстовый поток — общий формат для результата вычислений, \| — операция, связывающая их воедино.

			Применение:
			* MayBe -привязка точной информации об ошибке к оборачиваемой функции;
			* Continuation - связывание нескольких функций между собой
			* Writer - привязка текстовой информации к функции, например логгинга
			* I/O - спросить пользователя, дождаться ответа из терминала, отреагировать на ответ; или прочитать файл, дождаться когда он будет доступен, прочитать содержимое, закрыть файл;
			* Identity - привязка/подмена информации в возвращаемом значении;
			* State - привязка состояния к функции
			* другие - смотрите ссылки [ https://ru.wikipedia.org/wiki/%D0%9C%D0%BE%D0%BD%D0%B0%D0%B4%D0%B0_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5 в русской статье на википедии] и раздел «Ссылки» статьи на английском).

	==Парадигмы (стили) программирования==		==Парадигмы (стили) программирования==