Здравствуйте, alvas, Вы писали:

AB>>а такая?
AB>>def isItPure( act : void->int ) { act(); 1; }
AB>>?
A>И такая тоже нет
Это зависит от того является ли act pure или нет.
А чтобы четко отделить мух от катлет нам придется завести 2 типа функций...
Короче чтобы сделать все по уму придется как следует надругаться нат системой типов.