- One of the challenges in designing a library will be what algo should be used. Look up why C++’s map is a tree, unordered_map only came 15 years later. - Libraries with generics heavily depends on compiler’s ability to zero-cost-abstract with minimal nudging. In Solady, we sometimes do very disgusting stuff to nudge the compiler. Why writing Rust and C++ feels good is cuz the compiler is smart enough to not need all these nudging. So core Solidity would need a really good optimizer to go beyond syntax sugar generic niceties. - Cautious on a possible Python 2 vs 3 situation. Hope learnings in core can and will trickle back to classic. - In a world of classic and core Solidity, Solady plans to maintain and develop for both. Languages with a crazy standard library, still has third party libraries (e.g. Eigen), for domain specific knowledge.