UTF-8 encode and decode: Difference between revisions
→{{header|ATS}}
m (→{{header|ATS}}) |
|||
Line 331:
The following code is long but consists largely of proofs. UTF-8 is a complicated encoding, but also a well defined one that lends itself to compile-time verification methods.
Despite this complexity, what actually gets generated is highly optimizable C code. Note that the following demonstration requires no ATS-specific library support whatsoever.
<lang ATS>(*
| |||