2016.05.28 07:34
moment, moment - iluargumentowa to jest funkcja?
W rachunku lambda (mówię o tym bez typów, bo do rachunku lambda z typami jeszcze nie doszedłem) są tylko funkcje jednoargumentowe. Ale funkcje wieloargumentowe można rozwijać w jednoargumentowe a jednoargumentowe można zwijać w wieloargumentowe ( https://pl.wikipedia.org/wiki/Currying ). Więc jak widzę funkcję λx.λy.λz.y, to w głowie sobie mówię "o, to jest funkcja trójargumentowa". Ale wczoraj w pekaesie myślałem sobie, co by było, jakbym do funkcji przekazał za dużo argumentów. I wyszło mi to, co i wam wyjdzie, jak o tym dłużej pomyślicie: że żr xnżqn shaxpwn wrfg avrfxbńpmravrnethzragbjn: ob cemrpvrż jlavx xnżqrw shaxpwv wrfg shaxpwą. Choć mam to jeszcze słabo przemyślane.
komentarze:
powrot na strone glowna
RSS