My favorite language right now? Linearly-typed lambda calculus. With parallelism and corecursion, of course. Yes it's not coherent. No I won't formalize it until I program in it, hashtag logician scumbag life