fix

(redirected from fixable)
Also found in: Dictionary, Thesaurus, Medical, Legal, Financial, Idioms.
Related to fixable: kind of, clueing

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.
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

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.

(networking)

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 periodicals archive ?
Total number of patches fully applied; Number of fixable IAV Alerts, Bulletins and Technical Advisories missing; and
A manuscript must be fixable and appear to have a point, good flow and a solid structure.
This ability to create points, edges, surfaces, faces, and solids in a variety of ways means that models previously not fixable can now be processed successfully.
Balancing Out the planners and worriers is a larger group of confident Americans who expect that whatever mess-ups happen will be fixable in short order.
NCR said that: "While there was concern over the direction of EMC's channel relationships, the situation was fixable.
I believe it is fixable because it is in trouble," she said.
Of course, height cannot be changed, but weight problems are fixable.
top-line headwinds look ultimately fixable, while improving emerging markets and costs should support above-peer growth in 2018, said Grainger.
A number of those were eminently fixable, with just a bit of over-eagerness here or attention to detail there.
But there is a sense in the camp that moving forward we can beat the All Blacks as everything is fixable on our side of the ball.
The problems they have encountered are readily understood and easily fixable.

Site: Follow: Share:
Open / Close