fix


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

fix

Nautical, etc the ascertaining of the navigational position, as of a ship, by radar, observation, etc.

fix

[fiks]
(biology)
To kill, harden, or preserve a tissue, organ, or organism by immersion in dilute acids, alcohol, or solutions of coagulants.
(computer science)
A piece of coding that is inserted in a computer program to correct an error.
(navigation)
A position of a vessel or craft determined by its master, pilot, or navigator through the use of some or all of the equipments and techniques available.

FIX.

On drawings, abbr. for fixture.

fix

fixclick for a larger image
i. A geographical position determined by visual reference to the surface, by reference to one or more radio navigational aids, by celestial plotting, or by other navigational plotting, including obtaining it by intersecting two or more position lines. In navigation, a relatively accurate position determined without reference to any former position. It can be classified as visual, sonic, celestial, electronic, radio, hyperbolic, LORAN (long-range navigation), radar, etc., depending upon the means of establishing it.
ii. In photography, to render a photographic emulsion permanent by removing the unaffected light-sensitive material.

FIX

(networking)

FIX

(business, protocol)

fix

(3)
1. <mathematics> The fixed point combinator. Called Y in combinatory logic. Fix is a higher-order function which returns a fixed point of its argument (which is a function).

fix :: (a -> a) -> a fix f = f (fix f)

Which satisfies the equation

fix f = x such that f x = x.

Somewhat surprisingly, fix can be defined as the non-recursive lambda abstraction:

fix = \ h . (\ x . h (x x)) (\ x . h (x x))

Since this involves self-application, it has an infinite type. A function defined by

f x1 .. xN = E

can be expressed as

f = fix (\ f . \ x1 ... \ xN . E) = (\ f . \ x1 ... \xN . E) (fix (\ f . \ x1 ... \ xN . E)) = let f = (fix (\ f . \ x1 ... \ xN . E)) in \ x1 ... \xN . E

If f does not occur free in E (i.e. it is not recursive) then this reduces to simply

f = \ x1 ... \ xN . E

In the case where N = 0 and f is free in E, this defines an infinite data object, e.g.

ones = fix (\ ones . 1 : ones) = (\ ones . 1 : ones) (fix (\ ones . 1 : ones)) = 1 : (fix (\ ones . 1 : ones)) = 1 : 1 : ...

Fix f is also sometimes written as mu f where mu is the Greek letter or alternatively, if f = \ x . E, written as mu x . E.

Compare quine.
References in classic literature ?
They agreed to get to- gether and fix a day as soon as they could, and then we elected Tom Sawyer first captain and Jo Harper second captain of the Gang, and so started home.
Twice we stopped to fix the machinery and laid a good while, once in the night; but it wasn't dark enough, and he was afeard to skip.
An attempt to fix the boundary between the regions of ability and inability, would much oftener give scope to personal and party attachments and enmities than advance the interests of justice or the public good.