News for hackers. Stuff that matters.

A comment on Ada's Dependent Types, and Its Types as a Whole. Parent comment

Re:Ada's Dependent Types, and Its Types as a Whole by rad_gruchalski on Saturday December 28, 2024 @02:41PM (#42533860)
I really wanted to use Ada, at least learn it. Concepts are nice but I gave up when started looking into unicode support. It was wild, a bit discouraging. Or has the situation changed? What’s the unicode status in Ada?
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by docandrew on Saturday December 28, 2024 @03:48PM (#42534572)
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/

[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by rad_gruchalski on Sunday December 29, 2024 @03:55PM (#42543008)
Thank you, this is very useful information.
[ Parent | on HN ]