Constructible
| Designed by | User:Hakerh400 |
|---|---|
| Appeared in | 2025 |
| Computational class | Unknown |
| Major implementations | Implemented |
| File extension(s) | .txt |
Constructible is an esolang invented by User:Hakerh400 in 2025.
Overview
Constructible is the same as Imprecision, with the additional square root operation. Square root of a negative number is undefined behavior. Square root is represented as the prefix unary operator √ whose priority is higher than multiplication.
The name "Constructible" comes from the fact that rational numbers are not enough for implementing this language. Instead, we need constructible real numbers (the smallest field extension of the rationals that includes the square roots of all of its positive numbers).
Example
halt = 2 - input input = √input output = output + 1
Computational class
If Imprecision is Turing complete, then Constructible is Turing complete as well. However, it is hard to say whether adding square root the the list of available operations improves the chances of being Turing complete.
Implementation
- Implementation in Haskell (depends on
constructible-0.1.2)