id да не id

[deniok]

Приведите пример таких объявлений типа данных с конструктором данных T и сигнатуры функции f, что реализация

f (T x) = T x

проходила бы проверку типов, a

f x = x

нет.

Comments

[migmit.livejournal.com]

Ну, простейший вариант это data T = T Int Int. Или имеется в виду что-то другое?

[migmit.livejournal.com]

Даже нет, простейший — это data T = T.

[john kozlov (from livejournal.com)]

T x не скомпилируется. У T должен быть хотя бы один конструктор.

[migmit.livejournal.com]

Так, вроде ж, и не должно?

(полагаю, вы имели в виду "аргумент", а не "конструктор").

[migmit.livejournal.com]

Спасибо, я не так понял задание.

[deni-ok.livejournal.com]

У тебя, вроде, выходит наоборот - второе тайпчекается, а первое нет.

[migmit.livejournal.com]

А, пардон. Не так понял задание.