Исправление Kakadu, (текущая версия) :
Да нет. Я не знаток лиспа, но вы тут функции на равенство проверяете (типа, то, что передали должно быть функцией sum), а там пространство типов немного отдельно от значений. Типа функцию написали, где от аргумента площадь берется, и теперь нельзя туда передать что-нибудь, от чего площадь взять нельзя.
Лучше попробуйте какой-нибудь язык, Haskell, OCaml. Я хз как это объяснить. Вначале будет казаться, что компилятор постоянно бьет по рукам, но если осилите — сами поймете.
Исходная версия Kakadu, :
Да нет. Я не знаток лиспа, но вы тут функции на равенство проверяете (типа, то что передали должно быть функцией sum), а там пространство типов немного отдельно от значений. Лучше попробуйте какой-нибудь язык, Haskell, OCaml. Я хз как это объяснить. Вначале будет казаться, что компилятор постоянно бьет по рукам, но если осилите — сами поймете.