Introducing Silq data types
In this section, let's learn about the various common data types that the Silq language offers. We will define both the Unicode symbols and the normal alphabet:
- B or : Boolean data type used to denote 0 and 1 binary digits
- N or : The classical natural numbers set, starting with 0,1,…
- Z or : The classical integers set, starting with …,-1,0,1,…
- Q or : The classical rational numbers set
- R or : The classical real numbers
1 or : The singleton type, which contains a single element
uint[n]: n-bit unsigned integers, where n belong to classical natural numbers
int[n]: n-bit signed integers in two's complement form, where n belongs to the classical natural numbers
^n: Vector of length n
[]: Dynamic length arrays
To learn more about various other Silq data types, visit Silq's documentation at https://silq.ethz.ch/documentation, where many of the functionalities of Silq are provided.
...