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