Subject: Re:Re:SCP's
From: Roman Gonin (roman_gonin@mail.ru)
Date: Sat Mar 11 2000 - 02:32:33 MSK
Андрей, Добрый День.
Как и Вы, я благодарен Александру Корлюкову за представленную им точку зрения. Все познается в сравнении, и аналогии из математики здесь весьма уместны. Замечательно, когда мы не испытываем "ложных надежд". Точку зрения Александра я бы назвал реалистичной; Вашу же точку зрения, романтической, будоражащей воображение и волнующей сердце.
Меня заинтересовала поставленная Вами, Андрей, проблема:
"На мой взгляд, синтаксическое выделение подмножеств программ про которые можно было бы делать те или иные точные утверждения относительно данного преобразователя программ -- есть очень важная и интересная задача".
Но, насколько это реально, и в какой мере, в ближайшее время? Какие мысли по поводу методов и/или подходов к решению этой проблемы у Вас возникают и имеются? Если у Вас есть примеры, кроме работ Wadler-а, пожалуйста, поделитесь ими.
С Уважением, Роман Гонин.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD