Tacit intelligence is an important component of practical intelligence, consisting of knowledge that is not explicitly taught but is required in many real-life situations.
Tacit programming is of theoretical interest, because the strict use of composition results in programs that are well adapted for equational reasoning.
