id да не id
Apr. 7th, 2016 12:00 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Приведите пример таких объявлений типа данных с конструктором данных T и сигнатуры функции f, что реализация
f (T x) = T xпроходила бы проверку типов, a
f x = xнет.
no subject
Date: 2016-04-07 10:58 am (UTC)(полагаю, вы имели в виду "аргумент", а не "конструктор").