Fun

[fuhn] /fʌn/

noun
1.
something that provides mirth or amusement:
A picnic would be fun.
2.
enjoyment or playfulness:
She’s full of fun.
verb (used with or without object), funned, funning
3.
Informal. joke; kid.
adjective, funner, funnest.
4.
Informal. of or relating to fun, especially to social fun:
a fun thing to do; really a fun person; the funnest game.
5.
Informal. whimsical; flamboyant:
The fashions this year are definitely on the fun side.
Idioms
6.
for / in fun, as a joke; not seriously; playfully:
His insults were only in fun.
7.
like fun, Informal. certainly not; of doubtful truth:
He told us that he finished the exam in an hour. Like fun he did!
8.
make fun of, to make the object of ridicule; deride:
The youngsters made fun of their teacher.
/fʌn/
noun
1.
a source of enjoyment, amusement, diversion, etc
2.
pleasure, gaiety, or merriment
3.
jest or sport (esp in the phrases in or for fun)
4.
(facetious, ironic) fun and games, amusement; frivolous activity
5.
(informal) like fun

6.
make fun of, poke fun at, to ridicule or deride
7.
(modifier) full of amusement, diversion, gaiety, etc: a fun sport
verb funs, funning, funned
8.
(intransitive) (informal) to act in a joking or sporting manner
n.

“diversion, amusement,” 1727, earlier “a cheat, trick” (c.1700), from verb fun (1680s) “to cheat, hoax,” of uncertain origin, probably a variant of Middle English fonnen “befool” (c.1400; see fond).

Stigmatized by Johnson as “a low cant word.” Older sense is preserved in phrase to make fun of (1737) and funny money “counterfeit bills” (1938, though this may be more for the sake of the rhyme). See also funny.

adjective

With which, with whom, in which, etc, one can have fun: Mickey and his chums introduce each other as ”a real fun guy” (1950s+)

Related Terms

like hell, poke fun

A typed lambda-calculus, similar to SOL[2]. “On Understanding Types, Data Abstractions and Polymorphism”, L. Cardelli et al, ACM Comp Surveys 17(4) (Dec 1985).
In addition to the idiom beginning with
fun