Comedy, much of it subtle, is frequently employed by both the Jewish and Christian Bibles, argues Robin Gallaher Branch. She describes one of her first awakenings to biblical humor:
I remember one day resolving to do arduous work on 2Chronicles. Studiously plowing through the reigns of Solomon through Jehoshaphat, I came to 2Chronicles 21:20. . . . The text reads, “Jehoram was thirty-two years old when he became king, and he reigned in Jerusalem eight years. He passed away, to no one’s regret, and was buried in the City of David, but not in the tombs of the kings” (emphasis added). . . . Evidently Jehoram was not well liked. The editorial statement provides a light touch . . . to the Chronicler’s usually routine kingship formula. . . .
What’s more, argues Branch, the Bible seems to have something of a theology of humor:
Let’s start with [the most important] verse, Ecclesiastes 3:4: “A time to weep and a time to laugh, a time to mourn and a time to dance.” . . . [Next] let’s look at God’s laughter, for instance, in Psalms 37:12-13: “The wicked plot against the righteous, and gnash their teeth at them; but the Lord laughs at the wicked, for He sees that their day is coming.” Laughter here shows the impotence of the wicked and the futility of their plots and gnashings against the righteous. Why? Because, as the psalm answers, those who hope in the Lord will inherit the land and the Lord knows the wicked face a reckoning.
God directs the same kind of laughter toward earthly hotshots who think their power exceeds His. Psalm 2:2-4 declares that when “the kings of the earth take their stand,” marshalling themselves “against the Lord . . . and against His anointed one,” then “the One enthroned in heaven laughs.”
Read more on Bible History Daily: https://www.biblicalarchaeology.org/daily/biblical-topics/bible-interpretation/laughter-in-the-bible-absolutely/