Функции, типы данных и прочее.

Если я тебя правильно понял, то речь идёт о динамической типизации + контрактах, например, в PLT Scheme есть.

Возможно, хожу по ссылкам, читаю. :)

область значений функции, удовлетворяющих некому предикату

проверка постусловия, есть в любом языке с design by contract - Eiffel, D, etc

могут быть как однородными так и гетерогенными

можно пример?

Говоришь о примере т.д.? Первое что приходит на ум: к примеру, простые числа и списки( как lisp'овские ).

к примеру, простые числа и списки( как lisp'овские ).

ничего не понял. пример функции можно? с контрактом на область «однородных или гетерогенных» значений

Нет, нельзя. Попросту не знаю как выразить это кодом. (Вообще, мне возможно кажется, но ты увидел какую-то неточность в формулировке вопроса или ошибке в терминологии).

увидел какую-то неточность в формулировке вопроса или ошибке в терминологии

да нет, просто задача непонятна

не знаю как выразить это кодом

вырази псевдокодом. или словами

Это не задача я.п. А так используются инварианты и ассерты.

Ты так написал, что вообще ничего непонятно. Аналитики будут плакать, читая эту тему.

Вам просто проверка на нужный интервал не подходит?

Что будет если предикат нарушен, exception? Если да, то зачем встраивать в язык, так и пишите

> Что будет если предикат нарушен, exception?

МОжет тебе dependent types подойдут?

Мне все подходит. Я так и не могу понять что хотел автор

> ассерты

ассёрты это и есть контракты для бедных

Это не задача я.п.

напротив

> напротив

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

> непрактично

вау; а что практично по твоему, может быть

будет если предикат нарушен, exception

? :-)

ты о чем это?

Почему-то в других известных мне языках аналогов таких адавских фич нет.

и потому в них это приходится делать вручную