Uno dei miei corsi sta usando DrRacket per alcune sezioni del SICP. Stiamo lavorando per il valutatore metacircular e ho un file di codice R5RS (set-car!
e set-cdr!
), che ho bisogno di usare con il mio lavoro. Poiché il file R5RS è di circa 500 righe, preferirei tenerlo in un buffer separato. Come posso includerlo nelle definizioni del buffer delle risposte? Sembra racket/include
richiede #lang racket
, ma set-car!
e set-cdr!
non sono in quella lingua.Tra cui un file R5RS in un altro file nella racchetta
5
A
risposta
9
È possibile effettuare le seguenti operazioni:
Scrivi il modulo in R5RS #lang, e aggiungere il seguente dopo la riga lang:
(#%provide (all-defined))
avere il vostro buffer di risposta anche in #lang r5rs e utilizzare #% richiede per inserire le sue definizioni:
(#%require "some-module.ss")
Ad esempio, se ho un f1.ss con il seguente contenuto:
#lang r5rs
(#%provide (all-defined))
(define (f x)
(* x x))
e un f2.ss con il seguente contenuto:
#lang r5rs
(#%require "f1.ss")
(display (f 3))
(display (f 4))
poi se corro f2.ss, fa la cosa giusta nel DIS giocare 916, e il suo buffer interazioni saprà di tutte le definizioni scritte in f1.ss.
Questo utilizza il modulo di basso livello specifico per Racket che importa le voci menzionate nello documentation. In bocca al lupo!
Problemi correlati
- 1. Includere un file esterno nella racchetta
- 2. Tra cui un file .js in node.js
- 3. Incluso un file ERB in un altro
- 4. Tra cui un file di testo all'interno di un file jar e la lettura
- 5. Importare un file HTML in un altro file HTML
- 6. Stringhe troncate nella racchetta
- 7. Includi un altro file JSP
- 8. Chiamare un file .BAT da un altro file .bat
- 9. Caricare un file da un altro progetto
- 10. binding POST/GET nella racchetta
- 11. Come usare #define da un altro file?
- 12. Apre un file GUI da un altro file PyQT
- 13. htaccess Reindirizza un file a un altro
- 14. Spostare file/classe in un altro progetto
- 15. carica jQuery in un altro file js
- 16. "include" un file javascript ad un altro
- 17. Un file Docker può estenderne un altro?
- 18. Carica file js esterno in un altro file js
- 19. Come includere il file js in un altro file js?
- 20. Un one-liner bash da modificare nella directory in cui si trova un file
- 21. ConfigurationManager.AppSettings usa un altro file di configurazione
- 22. Come si può includere un altro file LiveScript in LiveScript?
- 23. Come copiare un file in un altro percorso?
- 24. In python, creare un tempfile nella stessa directory di un altro file?
- 25. Come eseguire un file Python non in una directory da un altro file Python?
- 26. Differenza tra un file .msg e un file .eml
- 27. Mercuriale: Unione di un file tra filiali in un repository
- 28. Can .js file "include" un altro file .js
- 29. Quando è -> effettivamente utile nella racchetta?
- 30. prosciugare file js.erb (includono un altro file js.erb)