Skip to content

2022 001 Add value tau to MATH signature

Jump to bottom Edit New page
Phil Clayton edited this page Jul 22, 2022 · 1 revision

Proposal 2022-001

Add value tau to MATH signature

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

Synopsis

signature MATH

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

Interface

val tau : real

Description

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

Discussion

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

Impact

Adding this value will not affect existing code.

Rationale

The benefits of tau over pi will be available in SML.

History

  • [2022-07-11] Proposed
Creative Commons License
This document is licensed under a [Creative Commons Attribution 4.0 International License](http://creativecommons.org/licenses/by/4.0/).
Add a custom sidebar
Clone this wiki locally