Author: Phil Clayton
Last revised: July 22, 2022
Status: proposed
Discussion:issue #34

signature MATH

This proposal adds a value for the circle constant 𝜏 to the MATH signature.

val tau : real

• val tau : real
tau is the circle constant equal to2.0 * pi, representing one whole turn (in radians).

The benefits of using the circle constant 𝜏 instead of 𝜋 are discussed at length in theTau Manifesto.I find the arguments for 𝜏 compelling.Already the constanttau has been added to various other programming languages (Rust,Python,.NET).

Adding this value will not affect existing code.

The benefits oftau overpi will be available in SML.

• [2022-07-11] Proposed