ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 12:13:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

[RFC] Add a clarification.

Browse Source
This commit is contained in:
Alessandro Coglio 2021-05-10 19:47:34 -07:00
parent 04e9bf2094
commit 31bb04b395
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
docs/rfc/001-initial-strings.md
View File

@ -261,6 +261,13 @@ These circuit types could also include constants, e.g. for certain ASCII charact
However, currently Leo does not support constants in circuit types,
so that would have to be added separately first.
These two circuit types are just meant to collect static member functions for characters and strings.
They are not meant to be the types of characters and strings:
as mentioned previously, `char` is a new scalar (not circuit) type (like `bool`, `address`, `u8`, etc.)
and there is no string type as such for now, but we use character arrays for strings.
In the future we may want all the Leo types to be circuit types of some sort,
but that is a separate feature that would have to be designed and developed independently.
## Input and Output of Literal Characters and Strings
Since UTF-8 is a standard encoding, it would make sense for