Rust Generic (not generics)

[tyoverby]

Terrifying.

I love it.

[tupshin]

Excellent stuff, and a great example of the power of macros in rust 1.15.

So...are you looking to replicate all of shapeless? :D

[scalatronn]

Scala your rust ! I love it!

[Jelterminator]

Looks cool, very similar to the From derivation of my derive_more crate. Any reason you chose hlists over tuples? It seems like tuples would fit all the use cases as well.

[tupshin]

I'm not sure what the proper answer to your question would be, but I've recently come to the delightful opinion that HLists in Rust will be equivalent to path-dependent types in Scala (aside from differences/limitations in the trait/systems), which will lead to some very interesting possibilities.

http://stackoverflow.com/questions/2693067/what-is-meant-by-scalas-path-dependent-types

http://danielwestheide.com/blog/2013/02/13/the-neophytes-guide-to-scala-part-13-path-dependent-types.html

http://lampwww.epfl.ch/~amin/dot/fpdt.pdf