其他人是对的，Clojure不能确保返回的集合中元素的类型，等等。（实际上，JVM也不能确保集合中元素的类型，这完全由javac处理。）
但是，我看到了向其他Java程序员提供API的价值，该API指定了一个接口，该接口声明以各种方式对参数化的返回值（或参数）进行了参数化；如果人们希望在现有的Java环境中使用Clojure而不产生麻烦，那么这将特别有吸引力。
当前，这需要两步过程：
- 定义一个单独的接口（在Java中！），可以根据需要指定参数化类型
- 定义你的
gen-class
命名空间（或proxy
或reify
实例），使得它实现该接口
（Clojure确实提供了一种
definterface格式，可以避免使用单独的Java接口定义，但是
definterface，与Clojure的其余部分一样，Clojure也没有提供指定参数化类型的方法。也许有一天…
:-)）
例如
public interface IFoo { List<TypedObject> createListOfTypedObjects ();}然后是您的gen-class名称空间：
(ns your.ns.FooImpl (:gen-class :implements [IFoo]))(defn -createListOfTypedObjects [] [typedObj1, typedObj2, typedObj3])
当您的用户创建的实例时
FooImpl，他们将例如获得代码完成，表明该方法返回
List<TypedObject>而不
Object是非参数化
List类型。
如果您使用健全的构建工具（例如maven，gradle或正确配置的ant），则可以将Java接口放入Clojure项目中，并将处理跨语言依赖性。
