Una de mis cursos está utilizando DrRacket para algunas secciones de SICP. Estamos trabajando en el evaluador metacircular y tengo un archivo de código R5RS (set-car!
y set-cdr!
) que necesito usar con mi trabajo. Debido a que el archivo R5RS tiene aproximadamente 500 líneas, preferiría mantenerlo en un buffer separado. ¿Cómo puedo incluirlo en las definiciones de mi buffer de respuesta? Parece que racket/include
requiere #lang racket
, pero set-car!
y set-cdr!
no están en ese idioma.Incluyendo un archivo R5RS en otro archivo en la raqueta
5
A
Respuesta
9
Usted puede hacer lo siguiente:
Escribir el módulo en R5RS #lang, y añadir lo siguiente después de la línea lang:
(#%provide (all-defined))
Haga que su búfer de respuesta también en #lang r5rs, y use #% requieren para obtener sus definiciones:
(#%require "some-module.ss")
Por ejemplo, si tengo una f1.ss con el siguiente contenido:
#lang r5rs
(#%provide (all-defined))
(define (f x)
(* x x))
y un f2.ss con el siguiente contenido:
#lang r5rs
(#%require "f1.ss")
(display (f 3))
(display (f 4))
luego si ejecuto f2.ss, hace lo correcto en dis jugando 916, y su buffer de Interacciones sabrá sobre todas las definiciones escritas en f1.ss.
Este utiliza el módulo de importación de bajo nivel material de la Raqueta-specfic mencionado en el documentation. ¡Buena suerte!
Cuestiones relacionadas
- 1. Incluyendo un archivo externo en la raqueta
- 2. Incluyendo un archivo erb en otro
- 3. Incluyendo un archivo fuente Netlogo en otro
- 4. Incluyendo un archivo XML en un archivo XML/XSL
- 5. Incluyendo definición de clase Javascript de otro archivo en Node.js
- 6. Incluyendo un archivo de encabezado de otro directorio
- 7. Incluyendo un archivo XSLT en un archivo ejecutable
- 8. incluyendo un archivo remoto en PHP
- 9. Incluyendo archivo PHP en Joomla
- 10. Incluyendo un archivo .js dentro de un archivo .js
- 11. incluyendo el archivo php de otro servidor con php
- 12. Incluyendo archivo de recursos en un proyecto por archivo .RC en lugar de archivo .RES
- 13. Incluyendo un módulo en otro módulo
- 14. Incluyendo un archivo .idl en un proyecto de C++
- 15. Incluir archivo SQL en otro archivo SQL
- 16. ¿Cómo incluyo un archivo php.ini en otro archivo php.ini?
- 17. reemplazar un archivo entero con otro archivo en bash
- 18. Leer un archivo zip y escribirlo en otro archivo python
- 19. cómo acceder a un tipo definido en un archivo .ml en otro archivo .ml
- 20. ¿Cómo incluir el archivo js en otro archivo js?
- 21. conversión de archivo XML en otro archivo XML mediante XSLT
- 22. ¿Cómo debo incluir un archivo js de otro archivo js?
- 23. Llamar a un archivo .BAT desde otro archivo .bat
- 24. Incluir otro archivo JSP
- 25. Shell: lea un archivo y repítalo a otro archivo
- 26. Archivo JS de referencia en Otro archivo JS e Intellisense
- 27. Crear un archivo en otro servidor utilizando la funcionalidad de archivo PHP
- 28. Incluyendo archivos de textura en el archivo de collada
- 29. ¿Cómo incluir jquery.js en otro archivo js?
- 30. Incluyendo una clase de Ruby de un archivo separado