Практика SICP 3.51 Неправильный тип для применения: # <синтаксический преобразователь cons-stream> - PullRequest
Новая
       9

Практика SICP 3.51 Неправильный тип для применения: # <синтаксический преобразователь cons-stream>

0 голосов
/ 27 апреля 2018

На практике 3.51 SICP, он определяет процедуру "show" и использует stream-map для создания потока: 

(add-to-load-path ".")
(load "stream.scm")

(define (show x)
  (display-line x)
  x)

(define x0 (stream-enumerate-interval 0 3))

(display-stream x0)   ;succ, no error

(stream-map show x0)  ;all element printed, but interpreter report error at last

Другой персонал о потоках в stream.scm: 

#!/usr/bin/guile
!#

(define (stream-null? s)
  (null? s))

(define (stream-ref s n)
  (if (= n 0)
      (stream-car s)
      (stream-ref (stream-cdr s) (- n 1))))

(define (stream-map proc s)
  (if (stream-null? s)
      the-empty-stream
      (cons-stream (proc (car s))
                   (stream-map proc (stream-cdr s)))))

(define (stream-for-each proc s)
  (if (stream-null? s)
      'done
      (begin
        (proc (stream-car s))
        (stream-for-each proc (stream-cdr s)))))

(define (display-stream s)
  (stream-for-each display-line s))

(define (display-line x)
  (display x))

(define (stream-car stream) (car stream))
(define (stream-cdr stream) (force (cdr stream)))

(define (stream-enumerate-interval low high)
  (if (> low high)
      the-empty-stream
      (cons-stream
        low
        (stream-enumerate-interval (+ low 1) high))))

(define (stream-filter pred stream)
  (cond
    ((stream-null? stream) the-empty-stream)
    ((pred (stream-car stream))
     (cons-stream (stream-car stream)
                  (stream-filter pred (stream-cdr stream))))
    (else
      (stream-filter pred (stream-cdr stream)))))

(define-syntax cons-stream
  (syntax-rules ()
    ((_ a b) (cons a (delay b)))))

(define the-empty-stream '())

(define (stream-enumerate-interval low high)
  (if (> low high)
      the-empty-stream
      (cons-stream low
                   (stream-enumerate-interval (+ low 1) high))))

Ошибка такая: 

0123Backtrace:
           8 (apply-smob/1 #<catch-closure 557e16ae8c20>)
In ice-9/boot-9.scm:
    705:2  7 (call-with-prompt ("prompt") #<procedure 557e16aef6a0 …> …)
In ice-9/eval.scm:
    619:8  6 (_ #(#(#<directory (guile-user) 557e16b9e140>)))
In ice-9/boot-9.scm:
   2312:4  5 (save-module-excursion #<procedure 557e16b24330 at ice-…>)
  3822:12  4 (_)
In stream.scm:
     25:8  3 (stream-map #<procedure show (x)> (0 . #<promise (1 . …>))
     25:8  2 (stream-map #<procedure show (x)> (1 . #<promise (2 . …>))
     25:8  1 (stream-map #<procedure show (x)> (2 . #<promise (3 . …>))
In unknown file:
           0 (_ 3 ())

Я не знаю, почему display-stream успешен, но stream-map "show" не удалась. Код такой же, как пример в SICP. Интерпретатор схемы «хитрый».

Есть идеи? THX

1 Ответ

0 голосов
/ 27 апреля 2018

Ошибка исчезла, когда я переехал 

(define-syntax cons-stream
  (syntax-rules ()
    ((_ a b) (cons a (delay b)))))

в начало файла.

По-видимому, в Guile он должен быть определен выше его первой точки использования в файле.

Вы не видели ошибку с stream-enumerate-interval, потому что она определяется дважды - в последний раз ниже определения cons-stream.

Протестировано в https://ideone.com, в котором используется "guile 2.0.13".

...