Hebrews 4:8

For if Joshua had given them rest, he would not have spoken of another day.

This means that if Joshua had given the people the rest spoken of here, in that he led them into Canaan, then David would not have held it up as something yet unattained such a long time after that. The words "Jesus" and "Joshua" are one word, just as the names "Juan" and "John" are the same; and this clears up the translation of this name as "Jesus" in the KJV in this verse. However, it is plain enough that not our Lord, but the ancient Hebrew captain who succeeded Moses and led the children of Israel into Canaan, is the person meant by the author of Hebrews in this verse. The English Revised Version (1885) is therefore correct. Joshua, due to his name, and the fact that he led Israel into the promised land, is viewed as one of the lesser types of the Master. However, there are more contrasts than similarities between them, as witness the following: (1) Joshua in the conquest of Canaan benefited himself and his posterity (Joshua 18:49,50): Christ's ministry benefited not himself but his followers only. The rest that Jesus made available to his disciples was already his own. (2) Joshua did not ALONE conquer Canaan but was aided extensively by all the Israelites; Christ trod the winepress alone (Isaiah 63:3). (3) The conquest of Canaan did not cost Joshua either wounds or death; but Jesus won the eternal land of promise at the cost of suffering and death (1 Peter 1:18,19). (4) Joshua could not totally expel the old inhabitants of Canaan; but the victory of Christ was complete over death, sin, Satan and the grave.