Deputy: Un Lenguaje de Tipos Dependientes Hospedado en Clojure

Deputy es un lenguaje de programación experimental con tipos dependientes, integrado en Clojure, con tipos de datos inductivos. Explora las implicaciones de un flujo de trabajo basado en REPL y Lisp para la programación y la verificación de tipos. Implementado como una biblioteca Clojure, permite a los programadores aprovechar el lenguaje anfitrión mientras trabajan a nivel de tipo. Esto permite cálculos de nivel de tipo que dependen de valores, desbloqueando patrones de programación potentes. Es importante destacar que, a pesar de la rica semántica dinámica de los tipos, la verificación de tipos sigue siendo una operación puramente en tiempo de compilación.