Ada2012ではUTFの変換ライブラリが用意されます。http://www.ada-auth.org/standards/12rm/html/RM-A-4-11.htmlStringからUTF_8_Stringに変換(同じ型ですが)するEncode関数が用意されていることで、文字コードの違いが明確になっています。Stringには現在の…

そういう話をしたのを思い出しましたので、OCaml Meeting 2010 in Nagoyaの聴講メモを書く代わりにやってみました。ていうか何聴いたかうろ覚えですすみません。