> I would love to see smarter compilers, understanding the code, many steps over current hardwired pattern-matching based optimizations. It'll be interesting w

> I would love to see smarter compilers, understanding the code, many steps over current hardwired pattern-matching based optimizations. It'll be interesting when we get to that point. I wonder if it'll be in ML or compilers that "cognition" happens first?