P
а.. сишка.. я думал ты про свой любимый сшарп.. попутал
Size: a a a
2020 August 01
NM
Сложно
AD
а еще напомните пожалуйста язык, в котором туплы определяются в <...>
VK
А что за оператор $?
взлома попы выводу типов
Dv
взлома попы выводу типов
'xactly
P
ты даже сам сказал, "книжка по фп"
я добавил что там более честные определения. а не ваниль для имперетивщиков.
NM
@fvnever а
a -> 'b точно нужен?NM
У нас же ‘a -> unit
Dv
У нас же ‘a -> unit
А вот нет
н
я добавил что там более честные определения. а не ваниль для имперетивщиков.
а в чем заключается ваниль?
Dv
Посмотри на пример, где больше одного аргумента
Dv
Там будет
'a -> 'b -> unitDv
Поэтому я и пытаюсь рекурсивно разматчить функцию
NM
Я думал
’(‘a -> ‘b) -> unitDv
а еще напомните пожалуйста язык, в котором туплы определяются в <...>
В Эрланге тупли записываются как
{A, B, C}Dv
Я думал
’(‘a -> ‘b) -> unitНу я это и написал, вспомни ассоциативность :)
Dv
Вот ты неправильно написал
NM
Ну ты понял)