область значений функции - многосортное множество

Сообщение №3223 от Михаил Иванцов 05 апреля 2002 г. 19:05
Тема: область значений функции - многосортное множество

Меня интересуют формальные способы описания функции, область значений которой является многосортным множеством, и при этом тип результата функции определяется значением аргумента.


Отклики на это сообщение:

> Меня интересуют формальные способы описания функции, область значений которой является многосортным множеством, и при этом тип результата функции определяется значением аргумента.

Это что-то, связанное с программизмом?
Тип Variant и всё такое?


> > Меня интересуют формальные способы описания функции, область значений которой является многосортным множеством, и при этом тип результата функции определяется значением аргумента.

> Это что-то, связанное с программизмом?
> Тип Variant и всё такое?

С программизмом связано однозначно, но вот насчет Variant не уверен. Это скорее функциональное программирование с лямбда исчислением...


> С программизмом связано однозначно, но вот насчет Variant не уверен. Это скорее функциональное программирование с лямбда исчислением...

Это типа лямбда-функции LISP? Функции, которая определяет алгоритм и тут же его вычисляет.


> Это типа лямбда-функции LISP? Функции, которая определяет алгоритм и тут же его вычисляет.

в принципе да, но только "тутже вычисляет" не обязательно, может и потом вычислять


> > Это типа лямбда-функции LISP? Функции, которая определяет алгоритм и тут же его вычисляет.

> в принципе да, но только "тутже вычисляет" не обязательно, может и потом вычислять
Программирование тут ни причём, слава б-гу


Физика в анимациях - Купить диск - Тесты по физике - Графики on-line

Реклама:
Rambler's Top100