Программа программы зависает без исключений

Question

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

Возьмем следующую процедуру:

(define (calc-week-day y1 m d w y2) ; anta y2 > y1 
    (define (days-between-months m1 m2 y) 
    (if (= m1 m2) 
     0 
     (+ (month-length y m1) (days-between-months (+ m1 1) m2 y)))) 
    (define (days-between-years y1 y2) 
    (if (= y1 y2) 
     0 
     (+ (year-length y1) (days-between-years (+ y1 1) y2)))) 
    (define (days-til-months-end d m y) 
    (- (month-length y m) d)) 
    (define (calculate-day day offset) 
    (cond ((> day 6) (calculate-day 0 (- offset 1))) 
      ((= offset 0) day) 
      (else (calculate-day (+ day 1) (- offset 1))))) 

    (define dager-til-nyttår (+ (days-between-months m 12 y1) 
           (days-til-months-end d 12 y1) 1)) 
    (define dager-fra-nyttår (+ (days-between-months 1 m y2) d 2)) 
    (define dager-mellom-datoer (+ dager-til-nyttår (days-between-years y1 y2) 
           dager-fra-nyttår)) 

    (num->day (calculate-day (day->num w) dager-mellom-datoer))) 

calc-week-day в основном занимает два года, где y2 > y1 всегда. m = месяц, d = день и w = день недели (понедельник, вторник ...). Функция определяет разницу в днях между той же датой в y1 и y2 и вычисляет день недели в y2. ..

Эта процедура не работает должным образом. На самом деле это не приведет к выходу. Однако, если я удаляю последнюю цифру (2) с (define dager-fra-nyttår ...), она отлично работает и выдает день недели на экран вывода (хотя и не правильные даты).

Кто-нибудь знает, почему это так? (с использованием Racket 5.2 на Mac OSX Lion)

Answer 1

Похоже, вы застряли в бесконечном цикле.

Я предполагаю, что либо days-between-months, либо days-between-years вызывает себя бесконечно.

Например, days-between-months, по-видимому, предполагает, что m1 < = m2. Но если вы назовете его m1>, похоже, он будет продолжать называть себя «навсегда» - продолжайте пытаться увеличивать m1 до тех пор, пока он не будет равен m2, но он никогда не будет, потому что он уже больше. (Ну, «никогда» или, по крайней мере, в течение длительного времени, пока целое значение не обернется вокруг.)

Практически существует два способа решения этой проблемы.

• «защитное программирование» способ изменить if тест с (= m1 m2) до (<= m1 m2). Много программистов сделают это.

• Дать Solid Кодекс путь будет сказать, подождите, проблема с вызывающей проходящей значения нонсенс функции: The вызывающему должен быть фиксированным, а не функции молча скрывающей ошибку. Если вам нравится этот подход, вы должны добавить assert на языке, таком как C, или здесь вы можете сделать что-то вроде (when (> m1 m2) (error)), чтобы умышленно вызвать ошибку. Или в Racket вы можете использовать contract, и он будет жаловаться, если вы попытаетесь нарушить условия, которые вам нужны.

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

И, наконец, ваш код вызывает пару функций, которые не определены в том, что вы предоставили (например, month-length и year-length), и проблемы могут возникнуть вместо или в дополнение к тому, что я упомянул.