User:Frostburn/SonicWeave: Difference between revisions
Sketch SonicWeave type system up to real linear types. |
m →Real linear types: Include missing lower tier. |
||
| Line 36: | Line 36: | ||
\mathrm{integer!} &\supset \{69!, 420!\} \\ | \mathrm{integer!} &\supset \{69!, 420!\} \\ | ||
\mathrm{decimal!} &\supset \{3.14159!, 2.718!\} \\ | \mathrm{decimal!} &\supset \{3.14159!, 2.718!\} \\ | ||
\mathrm{real} &= \mathbb{R} = \mathrm{integer!} \cup \mathrm{decimal!} | \mathrm{real} &= \mathbb{R} = \mathrm{radical} \cup \mathrm{integer!} \cup \mathrm{decimal!} | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
Note: Real linear types are mostly an artifact of the catch-all property extended time monzos. Not recommended for everyday use. | Note: Real linear types are mostly an artifact of the catch-all property extended time monzos. Not recommended for everyday use. | ||