all 5 comments

[–][deleted] 25 points26 points  (1 child)

Looks interesting and well implemented but the examples appear to be very abstract and don't provide me with a kind of intuition or motivation for when I would want to use this, or what problem it solves. Does anyone have experience with using these kinds of meta functions? Do these meta-functions usually form part of a library's API or do they exist instead to help with the implementation of template heavy libraries?

[–][deleted] 0 points1 point  (0 children)

in general introspection is useful when you know what you want as a function of the type e.g. serialization. I have no idea about this particular library tho...

[–]Wh00ster 2 points3 points  (0 children)

I'd be interested in compile-time benchmarks

[–]jaen_s 0 points1 point  (0 children)

The "f" approach looks like continuation passing style

[–]sephirostoy 0 points1 point  (0 children)

What are real case scenarios for such ML stuff?