So what? Equality of floating point numbers is only "decidable" if you don't care about getting the right answer. Likewise, equality of functions is also undec

So what? Equality of floating point numbers is only "decidable" if you don't care about getting the right answer. Likewise, equality of functions is also undecidable, but you never see people bringing that up in the context of Higher Order Functions.