Включение внешнего файла в ракетку

Question

Я хотел бы включить все функции, определенные в данном файле ракетки, чтобы получить тот же эффект, как если бы они были скопированы. Возможно ли это сделать?

Answer 1

Чтобы экспортировать функции из модуля, вы используете provide, рассмотрите файл "foo.rkt":

#lang racket
(define fortytwo 42)
(define (det a b c)
  (- (* b b) (* 4 a c)))
(provide (fortytwo det))

Файл "bar.rkt" теперь может импортировать определения из "foo.rkt":

#lang racket
(require "foo.rkt")
(define (baz a b c)
  (+ (det a b c) (- c 4)))

Другой способ, с помощью которого другие файлы могут иметь доступ ко всему, что определено в файле, - это (all-defined-out):

#lang racket
(define fortytwo 42)
(define (det a b c)
  (- (* b b) (* 4 a c)))
(provide (all-defined-out))

Надеюсь, что это поможет.

Answer 2

Вы можете использовать include следующим образом:

Создать файл с именем "foo.rkt", который выглядит следующим образом:

(define x 1)
(define y 2)

Затем в другом файле:

#lang racket
(require racket/include)
(include "foo.rkt")
(+ x y)

Вы должны увидеть результат 3.

Вы также можете просмотреть документацию для include.

Answer 3

Вы можете использовать нагрузку

(load "assert.scm")