The Needles is a row of distinctive stacks of chalk that rise out of the sea off the western extremity of the Isle of Wight, England, close to Alum Bay. A lighthouse has stood at the western end of the formation since 1859. The formation takes its name from a needle-shaped pillar called Lot's Wife that used to stand in its midst until it collapsed in a storm in 1764. The remaining rocks are all short and squat and not at all needle-like, but the name has stuck.
The Needles Old battery was built in 1861-63 to guard the West end of the Solent. It was initially equipped with 7" Armstrong RBLs, which were replaced by 9" RMLs in 1873. Early searchlight experiments were conducted in 1889-92, just after which the new battery was built higher up the cliff. In 1903 the guns were considered obsolete and thrown off the cliff, during World War I early trials of anti-aircraft guns were carried out, and the site saw action in World War II. The new Needles guns were scrapped in 1954. The headland was used for Black Knight rocket tests from 1956-71, and the site is now open to the public, owned by the National Trust.
External link
Needles and Alum Bay tourist website (http://www.theneedles.co.uk/)
I'm basing Needle's macro system on , which means that it's more or less an extensible grammar system with guaranteed termination.
I'd like to thank the fine volunteers at this project for helping me transfer not only the Needle sources, but all the CVS history, too, to their CVS server.
Needle's type system is based on the ML-sub type system of Bourdoncle and Merz, and the type inference algorithm that Danniel Bonniot developed for it.
In this case, the length of the needle is one unit and the distance between the lines is also one unit.
There are two variables, the angle at which the needle falls (theta) and the distance from the center of the needle to the closest line (D).
The situation in which the distance between the lines is greater than the length of the needle is an extension of the above explanation and the probability of a hit is 2(L)/(K)pi where L is the length of the needle and K is the distance between the lines.