Youssef Shoaib [MOD]
12/06/2024, 7:24 PMmikhail.zarechenskiy
12/09/2024, 7:25 AMYoussef Shoaib [MOD]
12/09/2024, 8:48 PMYoussef Shoaib [MOD]
12/12/2024, 6:23 AMwith
sugar from Koka, but maybe with different syntax. Generally Koka seems very Kotlin-like though, so maybe its syntax can be borrowed directly here. Again, perhaps there's more interesting semantic considerations here than just syntax (for one, getting OverloadResolutionByLambdaReturnType to work here might be tricky) and hence that's why I'm curious if more discussions have occured regarding this.