PG
Первое выражение имеет тип
num -> num, второе (num -> num) -> (num -> num)Size: a a a
2019 August 15
PG
Попробуй понять какой тип у smooth
P
в смысле какой тип?
PG
В прямом
P
я попытался вручную через прогу прогнать, но походу чтобы понять, где происходит расхождение результатов, надо собственно понять разницу между первым и вторым 😑
P
хорошо а какие типы бывают?
PG
В данном случае только числа и функции
P
но если я испльзую smooth он возвращает мне функцию
P
в смысле процедуру
PG
У процедуры тоже есть тип
P
вот с этого места поподробнее
P
😑
PG
Окей
PG
Тип процедуры это комбинация типов принимаемого и возвращаемого значения
PG
Традиционно обозначается стрелкой
PG
from -> toPG
Предположим у тебя есть процедура
, она будет иметь тип
(define g
(lambda (x f) (f x)))
, она будет иметь тип
(num, num -> num) -> numPG
Если зафиксировать первый аргумент, x, то получится процедура с типом
(num -> num) -> num
PG
Фиксируем так:
(lambda (f)
(g some-fixed-value f))
PG
Если зафиксировать второй аргумент, то получится процедура с типом
num -> num