[fuhn] 
noun, verb, funned, fun⋅ning, adjective | 1. | something that provides mirth or amusement: A picnic would be fun. |
| 2. | enjoyment or playfulness: She's full of fun. |
| 3. | Informal. joke; kid. |
| 4. | Informal. of or pertaining to fun, esp. to social fun: a fun thing to do; really a fun person. |
| 5. | Informal. whimsical: flamboyant: The fashions this year are definitely on the fun side. |
| 6. | for or 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. |
| fun (fŭn) n.
To behave playfully; joke. adj. Informal Enjoyable; amusing: "You're a real fun guy" (Margaret Truman). [Possibly from fon, to make a fool of, from Middle English fonnen, to fool, possibly from fonne, fool.] Usage Note: The use of fun as an attributive adjective, as in a fun time, a fun place, probably originated in a playful reanalysis of the use of the word in sentences such as It is fun to ski, where fun has the syntactic function of adjectives such as amusing or enjoyable. The usage became popular in the 1950s and 1960s, though there is some evidence to suggest that it has 19th-century antecedents, but it can still raise eyebrows among traditionalists. The day may come when this usage is entirely unremarkable, but writers may want to avoid it in more formal contexts. |
fun
|
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).
fun
In addition to the idiom beginning with fun, also see for fun; like fun; make fun of; more fun than a barrel of monkeys. Also see under funny.
