When I look at functional programming, I see the building blocks of digital electronics.<p>Maybe that is the path we should take.<p>Create IC modules for apply, map, filter, fold, ... instead of adder, half-adder and so on.<p>I bet lots of lambda calculus programs could easily map to such constructs.