Oℕ
В жвм тоже нет параметрисити
Size: a a a
2020 March 02
λ
я думал стирание это про свойсто рантайма и компиляции в исполняемый код
Oℕ
я думал стирание это про свойсто рантайма и компиляции в исполняемый код
Нет, это свойство языка
Oℕ
в жвм нет параметрисити потому что все элементы имеют методы Object
Oℕ
но если притвориться, что не все, и что мы не можем вызывать методы обжект - то сойдёт
Oℕ
в сишарпе нужно притворяться сильнее
DM
а что в сишарпе?
Oℕ
там можно узнать тип аргумента женерика
DM
я ничего не знаю о нем (ну кроме методов с большой буквы), любопытства ради
Oℕ
например, в скале и хаскеле forall A. A - это только боттомы
Oℕ
а в сишарпе можно сделать функцию, которая для Int вернёт 42
Oℕ
Oℕ
(foo, foo) не является отношением, соответствующим типу forall A. A -> A
вот это нужно объяснять?
(
нет, спасибо
ΛВ
Ноупе, я понял
ΛВ
Наконец-то ещё понял вдобавок, почему для f :: a -> a только id подходит
Oℕ
ну на самом деле я неправильный пример привёл
Oℕ
на самом деле правильный, но никто не заметил