Webtagr - Resumen de noticias de tecnología

Tags populares：

Virtualización seguridad DNS verificación formal análisis de alcanzabilidad errores del compilador conflicto de macro extensión web framework de desarrollo Gráficos de mapa de bits inconsistencias de API Todos los tags

Rust asíncrono impulsa un nuevo compilador Scheme: Presentamos scheme-rs

2025-02-18

Matthew Plant presenta scheme-rs, su implementación de Scheme que aprovecha el poder de Rust asíncrono para abordar sus lentos tiempos de compilación y su desafiante experiencia de depuración. scheme-rs usa el estándar R6RS y ofrece interoperabilidad perfecta con Rust asíncrono, facilitando la unión de código y la depuración. El autor también prevé un lenguaje futuro, Gouki, construido sobre scheme-rs, combinando el sistema de macros de Scheme con el sistema de tipos de Rust para una experiencia de programación más potente. Si bien aún está en desarrollo, scheme-rs cuenta con funcionalidades centrales y el autor planea agregar funciones integradas y optimizar el rendimiento de la compilación.

Desarrollo

Recolección de ciclos concurrentes: Punteros inteligentes con recolección de basura en Rust para Scheme

2024-12-13

Este artículo detalla la implementación de un recolector de ciclos concurrentes en Rust para punteros inteligentes con recolección de basura (Gc) dentro de un intérprete Scheme. Gc funciona de manera similar a Arc>, admitiendo mutabilidad interna, clonación y envío entre subprocesos. El artículo explica detalladamente la implementación de Gc, incluida la mutabilidad interna segura para subprocesos mediante semáforos y bloqueos de lectura/escritura, y los detalles de implementación de la recolección de ciclos concurrentes basada en el algoritmo de Bacon y Rajan. Esto incluye el rasgo Trace, la detección de ciclos y los mecanismos para manejar modificaciones concurrentes.