mmhelloworld/idris-jvm

Support for generics?

Closed this issue · 3 comments

Is there a way to support java generics?

Can you please add some description? What do you mean by generics? Java generics?

Since JVM doesn't really differentiate between List<String> and List<Integer> and this repository being JVM backend, supporting Java generics with all its variances would be out of scope without much benefit, and also considering interop with other languages as well on the JVM.