That lowly imperative programming: hard to prove your program is correct. Functional programming: easy to prove your program is correct, hard to prove its' exec

That lowly imperative programming: hard to prove your program is correct. Functional programming: easy to prove your program is correct, hard to prove its' execution will fit in the known universe. Functional programming IS math, so it's super satisfying to learn intellectually. It is also a spherical cow.