2015-02-24 21:17 GMT-03:00, Niall Douglas :

I'm curious: could Hana be wrapped with a MPL compatible shim API? As in, would that be a sane or insane idea? I might not be the best to answer this, perhaps Louis Dionne could give us his opinion as well, but the way I see it, it is certainly feasible, though possibly not that easy. That said, I doubt it would be a reasonable approach though.

See, while MPL relies on template overloading for type computing, Hana follows a completely alternative philosophy, ingeniously hijacking compile time constexpr value computations to perform type computations. Regardless, Louis has stated Hana already provides interoperability with MPL, so they should be able coexist. 2015-02-25 10:40 GMT-03:00, Ganesh Prasad :

Metaprogramming can be made easier with an alternative syntax, like Hana does. But functional is not the only solution. We can try with a Logic oriented syntax. C++ supports almost every major paradigm out there, except for logic (like prolog). And wrapping a logic oriented syntax over metaprograms would actually help programmers to handle complex inheritance patterns conveniently.

Well, it's just an idea. I had tried with functional syntax (from scratch) about one year ago. And I have been thinking about a logic oriented syntax (I had even considered something like JQuery, though I rejected that idea eventually). It would be great if the logic programming idea could be acceptable for GSoC, I would be more than happy to work on it. Here is the link to my attempt at functional syntax over metaprogramming.

https://github.com/GnsP/GNS--META_LISCPP

Also, Bruno C. O. Dutra has worked in a very similar field, in fact he has already implemented a compile time logic library.

Indeed, I’ve been working for some time on a logic oriented compile time library based on prolog, I’ve called it, not surprisingly, metalog [1]. But I never thought of it as a replacement for MPL or even an alternative, on the contrary, my goal from the beginning was to build it atop MPL in a way it could enhance it. In fact, motivated by this very discussion I’m having with you gentlemen here, I’ve been fiddling with the idea of attempting a complete overhaul of MPL, incorporating metalog so as provide a logic interface based on the unification and SLD resolution algorithms, yet preserving complete beckwards compatibility. I must add a disclaimer here though: metalog is still under heavy yet slow development, as I sadly don’t dispose of that much time to invest in it right now. Aside from that, I’ve been also in contact with Louis discussing the idea of porting metalog to Hana as a use case. Perhaps logic predicates could prove a useful add on to Hana as well. Perhaps we could work together on one of these attempts Ganesh Prasad. [1]: https://github.com/brunocodutra/metalog -- *Bruno C. O. Dutra*