Deputy: Eine in Clojure eingebettete Sprache mit abhängigen Typen

Deputy ist eine experimentelle Programmiersprache mit abhängigen Typen, eingebettet in Clojure, mit induktiven Datentypen. Sie untersucht die Auswirkungen eines Lisp-basierten, REPL-gesteuerten Workflows sowohl für die Programmierung als auch für die Typprüfung. Als Clojure-Bibliothek implementiert, ermöglicht sie es Programmierern, die Host-Sprache zu nutzen, während sie auf Typ-Ebene arbeiten. Dies ermöglicht Typberechnungen, die von Werten abhängen, wodurch leistungsstarke Programmiermuster freigeschaltet werden. Wichtig ist, dass die Typprüfung trotz der reichen dynamischen Semantik von Typen eine rein kompilationszeitliche Operation bleibt.