Mind expanding talk! ATS has some extraordinary features: recursion termination checks, first class lifetimes, disciplined data holes. https://twitter.com/deech/status/914202899588288512