Анонимные предикаты - История изменений

Elizabeth Safro в 11:25, 26 мая 2009

2009-05-26T11:25:22Z

← Предыдущая		Версия 13:25, 26 мая 2009
Строка 1:		Строка 1:
	Анонимные предикаты - новая возможность компилятора, которая ~~будет~~ реализована начиная с версии 7.2		Анонимные предикаты - новая возможность компилятора, которая реализована начиная с версии 7.2

	===Вступление===		===Вступление===
Строка 57:		Строка 57:
	===Где использовать===		===Где использовать===

	Это ~~не оконченная~~ статья		Это неоконченная статья

	[[Категория:VipLanguage]]		[[Категория:VipLanguage]]

SergeMukhin: /* Погружение */

2007-11-16T06:35:07Z

Погружение

← Предыдущая		Версия 08:35, 16 ноября 2007
Строка 50:		Строка 50:
	clauses		clauses
	фильтрМашин() =		фильтрМашин() =

			{(Авто) :- Авто:цена <= НашиВозможности, !}, списокАвтомобилей)
	implement покупатель</Vip>		implement покупатель</Vip>

	===Детали реализации===		===Детали реализации===
	===Где использовать===		===Где использовать===

SergeMukhin в 05:30, 16 ноября 2007

2007-11-16T05:30:11Z

← Предыдущая		Версия 07:30, 16 ноября 2007
Строка 52:		Строка 52:
	implement покупатель</Vip>		implement покупатель</Vip>
	===Детали реализации===		===Детали реализации===
	===Где ~~использоватьь~~===		===Где использовать===

	Это не оконченная статья		Это не оконченная статья

	[[Категория:VipLanguage]]		[[Категория:VipLanguage]]

SergeMukhin в 05:29, 16 ноября 2007

2007-11-16T05:29:18Z

← Предыдущая		Версия 07:29, 16 ноября 2007
Строка 1:		Строка 1:
	Анонимные предикаты - новая возможность компилятора, которая будет реализована начиная с версии 7.2		Анонимные предикаты - новая возможность компилятора, которая будет реализована начиная с версии 7.2

			===Вступление===
	Пример использования:		Пример использования:

Строка 36:		Строка 36:

	Если внимательно присмотреться, то тут мы наблюдаем картину, ранее недоступную невооружённым глазом. Переменная ''НашиВозможности'' из предиката ''''неДорогие2'''' перекочевала во внутрь другого предиката - фильтра! Вот это уже нельзя сделать использую дополнительный предикат, как раньше.		Если внимательно присмотреться, то тут мы наблюдаем картину, ранее недоступную невооружённым глазом. Переменная ''НашиВозможности'' из предиката ''''неДорогие2'''' перекочевала во внутрь другого предиката - фильтра! Вот это уже нельзя сделать использую дополнительный предикат, как раньше.

			===Погружение===
			Давайте еще усложним наш пример, не сильно отрываясь от реальности. Представим, что у нас есть следующий интерфейс:
			<Vip>interface покупатель
			properties
			зарплата : unsigned(o).
			фильтрМашин : () -> list::filter.
			end interface покупатель</Vip>
			Попробуем написать реализацию
			<Vip>implement покупатель
			facts
			зарплата : unsigned.
			clauses
			фильтрМашин() =
			implement покупатель</Vip>
			===Детали реализации===
			===Где использоватьь===

	Это не оконченная статья		Это не оконченная статья

	[[Категория:VipLanguage]]		[[Категория:VipLanguage]]

SergeMukhin в 05:30, 8 ноября 2007

2007-11-08T05:30:30Z

← Предыдущая		Версия 07:30, 8 ноября 2007
Строка 12:		Строка 12:
	class выборАвтомобиля		class выборАвтомобиля
	predicates		predicates
	~~недорогие~~ : () -> авто* Результат.		неДорогие : () -> авто* Результат.
	...		...
	implement выборАвтомобиля		implement выборАвтомобиля
	clauses		clauses
	неДорогие() = list::filter({(Авто):-Авто:цена <= 10000, !}, списокАвтомобилей).		неДорогие() = list::filter({(Авто) :- Авто:цена <= 10000, !}, списокАвтомобилей).
	...		...
	</Vip>		</Vip>
Строка 25:		Строка 25:
	фильтрДляНедорогих : (авто Авто).		фильтрДляНедорогих : (авто Авто).
	clauses		clauses
	фильтрДляНедорогих(Авто):- Авто:цена <= 10000, !.		фильтрДляНедорогих(Авто) :- Авто:цена <= 10000, !.
	clauses		clauses
	неДорогие() = list::filter(фильтрДляНедорогих, списокАвтомобилей).</Vip>		неДорогие() = list::filter(фильтрДляНедорогих, списокАвтомобилей).</Vip>
Строка 33:		Строка 33:
	неДорогие2 : (unsigned НашиВозможности).		неДорогие2 : (unsigned НашиВозможности).
	clauses		clauses
	неДорогие2(НашиВозможности) = list::filter({(Авто):-Авто:цена <= НашиВозможности, !}, списокАвтомобилей).</Vip>		неДорогие2(НашиВозможности) = list::filter({(Авто) :- Авто:цена <= НашиВозможности, !}, списокАвтомобилей).</Vip>

	Если внимательно присмотреться, то тут мы наблюдаем картину, ранее недоступную невооружённым глазом. Переменная ''НашиВозможности'' из предиката ''''неДорогие2'''' перекочевала во внутрь другого предиката - фильтра! Вот это уже нельзя сделать использую дополнительный предикат, как раньше.		Если внимательно присмотреться, то тут мы наблюдаем картину, ранее недоступную невооружённым глазом. Переменная ''НашиВозможности'' из предиката ''''неДорогие2'''' перекочевала во внутрь другого предиката - фильтра! Вот это уже нельзя сделать использую дополнительный предикат, как раньше.

SergeMukhin в 19:44, 7 ноября 2007

2007-11-07T19:44:17Z

← Предыдущая		Версия 21:44, 7 ноября 2007
Строка 25:		Строка 25:
	фильтрДляНедорогих : (авто Авто).		фильтрДляНедорогих : (авто Авто).
	clauses		clauses
	фильтрДляНедорогих(Авто):- Авто:цена < 10000, !.		фильтрДляНедорогих(Авто):- Авто:цена <= 10000, !.
	clauses		clauses
	неДорогие() = list::filter(фильтрДляНедорогих, списокАвтомобилей).</Vip>		неДорогие() = list::filter(фильтрДляНедорогих, списокАвтомобилей).</Vip>

SergeMukhin в 19:43, 7 ноября 2007

2007-11-07T19:43:36Z

← Предыдущая		Версия 21:43, 7 ноября 2007
Строка 23:		Строка 23:
	Казалось бы ничего нового, ведь то же самое можно записать при помощи дополнительного предиката. Например так		Казалось бы ничего нового, ведь то же самое можно записать при помощи дополнительного предиката. Например так
	<Vip>predicates		<Vip>predicates
	~~фильтерДляНедорогих~~ : (авто Авто).		фильтрДляНедорогих : (авто Авто).
	clauses		clauses
	~~фильтерДляНедорогих~~(Авто):- Авто:цена < 10000, !.		фильтрДляНедорогих(Авто):- Авто:цена < 10000, !.
	clauses		clauses
	неДорогие() = list::filter(~~фильтерДляНедорогих~~, списокАвтомобилей).</Vip>		неДорогие() = list::filter(фильтрДляНедорогих, списокАвтомобилей).</Vip>

	Но сегодня для нас сумма 10000 является пределом мечтаний, а завтра 12000, как быть? Есть два решения, или менять константу, или добавить факт-переменную. Анонимный предикат позволит сделать это изящней.		Но сегодня для нас сумма 10000 является пределом мечтаний, а завтра 12000, как быть? Есть два решения, или менять константу, или добавить факт-переменную. Анонимный предикат позволит сделать это изящней.

SergeMukhin в 09:43, 6 ноября 2007

2007-11-06T09:43:57Z

← Предыдущая		Версия 11:43, 6 ноября 2007
Строка 10:		Строка 10:
	end interface авто		end interface авто

	class ~~выюорАвтомобиля~~		class выборАвтомобиля
	predicates		predicates
	недорогие : () -> авто* Результат.		недорогие : () -> авто* Результат.
	...		...
	implement ~~выюорАвтомобиля~~		implement выборАвтомобиля
	clauses		clauses
	неДорогие() = list::filter({(Авто):-Авто:цена <= 10000, !}, списокАвтомобилей).		неДорогие() = list::filter({(Авто):-Авто:цена <= 10000, !}, списокАвтомобилей).
Строка 35:		Строка 35:
	неДорогие2(НашиВозможности) = list::filter({(Авто):-Авто:цена <= НашиВозможности, !}, списокАвтомобилей).</Vip>		неДорогие2(НашиВозможности) = list::filter({(Авто):-Авто:цена <= НашиВозможности, !}, списокАвтомобилей).</Vip>

	Если внимательно присмотреться, то тут мы наблюдаем картину, ранее недоступную ~~невооруженным~~ глазом. Переменная ''НашиВозможности'' из предиката ''''неДорогие2'''' перекочевала во внутрь другого предиката - фильтра! Вот это уже нельзя сделать использую дополнительный предикат, как раньше.		Если внимательно присмотреться, то тут мы наблюдаем картину, ранее недоступную невооружённым глазом. Переменная ''НашиВозможности'' из предиката ''''неДорогие2'''' перекочевала во внутрь другого предиката - фильтра! Вот это уже нельзя сделать использую дополнительный предикат, как раньше.

	Это не оконченная статья		Это не оконченная статья

	[[Категория:VipLanguage]]		[[Категория:VipLanguage]]

SergeMukhin в 10:33, 3 ноября 2007

2007-11-03T10:33:25Z

← Предыдущая		Версия 12:33, 3 ноября 2007
Строка 35:		Строка 35:
	неДорогие2(НашиВозможности) = list::filter({(Авто):-Авто:цена <= НашиВозможности, !}, списокАвтомобилей).</Vip>		неДорогие2(НашиВозможности) = list::filter({(Авто):-Авто:цена <= НашиВозможности, !}, списокАвтомобилей).</Vip>

	Если внимательно присмотреться, тут мы наблюдаем картину, ранее недоступную невооруженным глазом. Переменная ''НашиВозможности'' из предиката ''''неДорогие2'''' перекочевала во внутрь другого предиката - фильтра! Вот это уже нельзя сделать использую дополнительный предикат, как раньше.		Если внимательно присмотреться, то тут мы наблюдаем картину, ранее недоступную невооруженным глазом. Переменная ''НашиВозможности'' из предиката ''''неДорогие2'''' перекочевала во внутрь другого предиката - фильтра! Вот это уже нельзя сделать использую дополнительный предикат, как раньше.

	Это не оконченная статья		Это не оконченная статья

	[[Категория:VipLanguage]]		[[Категория:VipLanguage]]

SergeMukhin в 10:20, 3 ноября 2007

2007-11-03T10:20:50Z

← Предыдущая		Версия 12:20, 3 ноября 2007
Строка 29:		Строка 29:
	неДорогие() = list::filter(фильтерДляНедорогих, списокАвтомобилей).</Vip>		неДорогие() = list::filter(фильтерДляНедорогих, списокАвтомобилей).</Vip>

	Но сегодня ~~для нас~~ для нас сумма 10000 является пределом мечтаний, а завтра 12000, как быть? Есть два решения, или менять константу, или добавить факт-переменную. Анонимный предикат позволит сделать это изящней.		Но сегодня для нас сумма 10000 является пределом мечтаний, а завтра 12000, как быть? Есть два решения, или менять константу, или добавить факт-переменную. Анонимный предикат позволит сделать это изящней.
	<Vip>predicates		<Vip>predicates
	неДорогие2 : (unsigned НашиВозможности).		неДорогие2 : (unsigned НашиВозможности).