On Sat, Oct 6, 2012 at 12:46 PM, Gábor Lehel
What do you use NLong for? I.e. where and how are you taking advantage of the knowledge that the list is N long?
OK, some context. I'm experimenting with an augmentation of the generic-deriving generic programming approach. https://github.com/nfrisby/polyvariadic-generic-deriving Regarding the part of the library that doesn't suffer from the issue in my original email in this thread, user code using the library results in more accurate inferred types because of the NLong constraints. These more accurate inferred types ultimately avoid some "ambiguous type variable" errors in the user's code. This new gist https://gist.github.com/3847097 demonstrates the benefits that I get from NLong; it gives an example of it eliminating an otherwise ambiguous type variable. It also explains the context of the library a bit more. Thanks.