Albert Barnes' Notes on the Whole Bible - Exodus 17:6
The rock in Horeb - (a rock situated, according to Arab tradition, in Wady Feiran. Horeb was a name given to the whole desert of Sinai and subsequently attached to the mountain. Palmer).It is questioned whether the water thus supplied ceased with the immediate occasion; see 1 Corinthians 10:4, the general meaning of which appears to be that their wants were ever supplied from Him, of whom the rock was but a symbol, and who accompanied them in all their wanderings. read more
The Pulpit Commentary - Exodus 17:6
That rock was Christ. In the statement of Paul—"They drank of that spiritual Rock that followed them, and that Rock was Christ" ( 1 Corinthians 10:4 )—we have a clear assertion of the typical character of this transaction at Rephidim. We may either suppose the term "Rock" in the first clause to be used by metonymy for the water which flowed from the rock, or we may understand the allusion to be to hint of whom the rock was but a symbol, and who did accompany the Israelites in their... read more