Ist eine statisch typisierte vollständige Lisp-Variante möglich? Ist es überhaupt sinnvoll, dass so etwas existiert? Ich glaube, eine der Tugenden einer Lisp-Sprache ist die Einfachheit ihrer Definition. Würde statische Typisierung dieses Kernprinzip