Is there more simple or beautiful way to reverse a string?
Now I am using such a 开发者_JAVA百科method:
let x_rev = new string(x.Reverse().ToArray())
Here's some code based on Timwi's comment on Nate's answer. There are single logical letters (as displayed on screen) that are made up of more than one actual character. Reversing the order of the characters turns these letters into gibberish.
Timwi helpfully points out that the framework provides a TextElementEnumerator that works in terms of logical text elements rather than characters, and handles these multi-character letters correctly. I hadn't heard of this class before, so I wrote some code that uses a TextElementEnumerator to reverse a string correctly, and compare the results to a naive string reversal.
open System
open System.Globalization
// five characters that render as three letters: "
精彩评论