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

Date: 2016-04-07 10:52 am (UTC)
From: [identity profile] john kozlov (from livejournal.com)
T x не скомпилируется. У T должен быть хотя бы один конструктор.

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

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

Date: 2016-04-07 11:02 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

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 15th, 2025 01:55 pm
Powered by Dreamwidth Studios