@4_d4

Допустим есть функция для определения предела последовательности.

Если последовательность сходится возвращает приближённое значение предела с заданной точностью.

Если расходится - nil

Но если вызов функции выглядит как-нибудь так:

То получаем деление на ноль и ошибку.

Как заставить lim фильтровать подобные аргументы принимаемой в качестве аргумента последовательности?

0

@Catstail

Тут скорее не фильтровать надо, а просто перехватывать возможные ошибки. Для этого есть механизмы. В HomeLisp - это конструкция (try ... except ...):

1

@helter

А что вы хотели? lim надеется, что передаваемая ему "последовательность" является функцией, определённой на множестве натуральных чисел. А ваша лямбда n -> n/(5 - n) не является функцией, определённой на множестве натуральных чисел. Как говорится, junk in junk out.

На вашем месте я бы хранил два последних вычисленных значения в переменных - параметрах do.

0

@4_d4

Пошёл по пути подсказанному Catstail . Нашёл в стандарте ANSI CL функцию ignore-errors, которая решает проблему.

0

@helter

Ваша функция стала ещё глупее. И глючнее. Попробуйте подсунуть ей странную fn - например, #'char= - зациклится.

0

@4_d4

Я понимаю, что если написать что-то вроде.

То функция зациклит так как значение fn будет меняться с -1 до +1.

Но проблема была не в написании универсальной функции для вычисления пределов. Просто в процессе экспериментов я заметил, что порой бывает полезно заставить функцию проигнорировать аргументы вызывающие ошибки и продолжать работу без принудительного выхода в отладчик. Оказалось можно в таких случаях заставить игнорировать сами ошибки без последствий для искомого результата. lim в данном случае просто подвернувшийся под руку пример, пусть может быть и кривой.

Впрочем, если кто-нибудь предложит универсальную и эффективную версию lim, с удовольствием взгляну на код в этой или в другой теме.

0

@helter

Работа с ошибками - это прекрасно. В лиспе роскошная система работы с состояниями (condition, частным случаем которого является ошибка). Но у вас нет логики в решении. Функция lim не должна глушить ошибку. Если что-то идёт не так (вместо нормальной последовательности подсунули функцию, определённую не на всех натуральных числах или вообще не на числах), честный и правильный выход - сообщить об этом, поднять тревогу. То есть не глушить ошибку, если она есть. А что с ней делать - пусть решают выше по стеку.

Для аналогии - функция деления. Если предлагают делить на ноль - она кидает ошибку. Потому что в её компетенцию не входит решать то, что в таком случае делать. Выше по стеку ошибку отловят и сделают то, что нужно в конкретном приложении: проигнорируют, или напечатают предупреждение, или предложат пересчитать с новым знаменателем (можно даже так).

То есть в вашем случае надо было бы оборачивать сверху lim в ignore-errors, а не внутрь его засовывать. Либо - фиксить функцию до того, как её передают lim-у, то есть оборачивать во что-то лямбду.

Насчёт умного алгоритма ничего не могу сказать. Если вы пишете в стиле числяков, это в любом случае эмуляция математического предела. Ваша эмуляция странна тем, что вылетает из цикла при виде первого попавшегося большого положительного числа (на отрицательные при этом не реагирует. Сравните
Об ошибках хорошо написано в соответствующей главе "Практического Common Lisp". В общем и целом дело обстоит так:

1) Состояния образуют иерархию, можно создавать новые.

2) Можно перехватить ошибку, размотав стек: макрос handler-case (ignore-errors - его частный случай).

3) Можно перехватить ошибку, не разматывая стек - макрос handler-bind. С помощью рестартов можно возвратиться вниз, чтобы исправить ошибку. Когда вы попадаете в дебаггер и видите там штуки типа [ABORT] - это рестарты. Их можно выбирать автоматически и, конечно, создавать новые.

3