deniok: (ухмыляюсь)
[personal profile] deniok
Приведите пример таких объявлений типа данных с конструктором данных T и сигнатуры функции f, что реализация
f (T x) = T x
проходила бы проверку типов, a
f x = x
нет.

Date: 2016-04-07 10:58 am (UTC)
From: [identity profile] migmit.livejournal.com
Так, вроде ж, и не должно?

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

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 10th, 2025 11:19 am
Powered by Dreamwidth Studios