How do you guys solve function overloads with different generics? Is there any way of doing this without creating one overload for every possibility?

fun foo<A>(a: A) {}
fun foo<A, B>(a: A, b: B){}
fun foo<A,B,C>(a: A, b: B, c: C) { }
...
until foo<125> types

I guess the best way would be to generate those methods instead of writing them all. I've seen something like that in GNU Trove4j : they generate collections for primitive types using code templates, replacing some variables with each primitive type. The generated files are then packed into a library Jar. For what use case do you need so many arguments ? Data-driven tests ?

Exactly

I wrote an HList type for holding lists of values of heterogeneous types: sealed class HList object Empty : HList data class HCons<T, Rest:HList>(val value: T, val rest: Rest)

Is there a best practice for generating this sort of code? Something like KotlinPoet+kapt?

i would generate this code using kotlinpoet in gradle

builSrc

and call it in

compileKotlin.doFirst

or a task that compileKotlin depends on also make sure its added as a sourceSet and optionally marked as generated sourceset in idea

@natpryce Looks a lot like how lists are defined in functional programming, interesting!

@natpryce I tried the same. Even managed to crash IntelliJ