Deputy: Uma Linguagem Tipada Dependente Hospedada em Clojure

Deputy é uma linguagem de programação experimental com tipos dependentes, incorporada em Clojure, com tipos de dados indutivos. Ela explora as implicações de um fluxo de trabalho baseado em REPL e Lisp para programação e verificação de tipos. Implementada como uma biblioteca Clojure, permite que os programadores utilizem a linguagem anfitriã enquanto trabalham no nível de tipo. Isso possibilita cálculos de nível de tipo que dependem de valores, desbloqueando padrões de programação poderosos. É importante destacar que, apesar da rica semântica dinâmica dos tipos, a verificação de tipos permanece uma operação puramente em tempo de compilação.