One of the best talks at #StrangeLoop this year...this and the #Idris talk on type-driven development give a glimpse into the future of dev. Declare your code via typed-meta defs to auto generate provably-correct code that can be cross-lang transpiled and optimized. #hackernews https://t.co/2TdHVonZAI