Exactly, it's a smooth trade off curve from lambda calculus all the way to Haskell with 30 language extensions enabled. You could learn lambda calculus in an a

Exactly, it's a smooth trade off curve from lambda calculus all the way to Haskell with 30 language extensions enabled. You could learn lambda calculus in an afternoon, but then spend a month writing a single complex algorithm. You could spend 5 years learning Haskell, and then write the most powerful system in a couple minutes. There's a sweet spot somewhere between those two, and Rust is definitely near it.