Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
docandrew
on Dec 28, 2024
|
parent
|
context
|
favorite
| on:
Ada's dependent types, and its types as a whole
You can embed and work with UTF-8 strings with no issue (I have source with emoji string literals), but if you need complex manipulation of code points vs glyphs etc. I’m not sure how robust the libraries are for what you are trying to do.
https://ada-lang.io/docs/learn/how-tos/gnat_and_utf_8/
rad_gruchalski
on Dec 29, 2024
[–]
Thank you, this is very useful information.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://ada-lang.io/docs/learn/how-tos/gnat_and_utf_8/