Also found in: Dictionary, Thesaurus, Medical, Financial, Acronyms, Idioms, Wikipedia.


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).
This article is provided by FOLDOC - Free Online Dictionary of Computing (

how to spoof your techie friend

To have a light-hearted joke with your very technical colleagues, take the highest clock rate of the fastest CPU chip on the market and quintuple it (5 GHz is tops today). Then, say "did you hear about Intel's 25 gigahertz CPU... they kept it secret but just announced it." This is like a Toyota Camry with 10,000 horsepower. If your friends have no reaction, they are not sufficiently geeky. For fun and trivia, see buffer flush and Stringy Floppy.

Some Numbers Make the Camry Insignificant
The volume of interaction that takes place every second inside a chip is incomprehensible. The numbers are really more like a Camry with 1 billion horsepower (see active area and Versal).
Copyright © 1981-2019 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.
References in classic literature ?
Mary," said she, "I wish you had gone with us, for we had such fun! As we went along, Kitty and I drew up the blinds, and pretended there was nobody in the coach; and I should have gone so all the way, if Kitty had not been sick; and when we got to the George, I do think we behaved very handsomely, for we treated the other three with the nicest cold luncheon in the world, and if you would have gone, we would have treated you too.
And if she goes against it Peter will too--the ninny!--and it wouldn't be any fun if we weren't all in it."
"Fun!--fun!" repeated Nancy, indignantly, "I guess it'll be somethin' more than fun for that blessed child--when them two tries ter live tergether; and I guess she'll be a-needin' some rock ter fly to for refuge.
When he had eaten all he wanted he would have what he called fun with the colts, throwing stones and sticks at them to make them gallop.
There is much life and fun and jollity and some vulgarity in Pickwick.
"Don't see how Sydney does the steering so well; but it must be fun; and, by Jupiter!
"Which ain't fun, I'm tellin' you, when they stiffen up."
I have billiards at home, but it's no fun unless you have good players, so, as I'm fond of it, I come sometimes and have a game with Ned Moffat or some of the other fellows."
Still he could not bear to give up the fun at Widow Douglas'.
"Would you call it fun to see poor little Dora fall down the steps and get hurt?"
We've been at it some time now, and it's great fun. Our people like it, and I think we are a pretty canny set."
"Why, you stupid rascal, it is more fun this way," returned the King, "and it serves to keep me amused for a long time."