Camomile - OCaml用Unicodeライブラリ
- 1. Camomile OCaml用Unicodeライブラリ 山形賴之 ２０１１年１２月２９日 京大
- 4. A U+0041 ? U+1EAC = U+0041 + U+0302 + U+0323 U+3042 あ 既 U+65E2 ? U+16A0 旣 U+65E3
- 5. 文字集合は民族の财产だ！ 勝手に統合するな！ Code Seｔ Independeceにこだわる
- 6. Character, not glyph AAAAA ←すべて同じ文字 原則：文字という論理的な対象をコード 論理的とは？ ≒意味 でも、既≠旣とかわかりにくい
- 7. 意味 士≠土 抽象的な構造 既≠旣 とめ、はね、など 具体的な形
- 8. BMP：よく使われる文字 0 10000 20000 30000 E0000 F0000 10FFFF 拡 張 Private 漢 Zone 字 タグ Plane 1: 特殊記号、歴史的な文字
- 9. A Ω 語 ４１ CE A9 E8 AA 9E F0 A0 80 94 A Ω 語 00４１ 03A9 8A9E D840 DC14 A Ω 語 000000４１ 000003A9 0000819E 00020014
- 10. ?=? 1EAC = A + ?+ ? 0041 0302 0323 = A + ?+ ? 0041 0323 0302
- 11. 狈贵顿:できるだけ分解 NFD(?+ ?）=A + ?+ ? NFC:できるだけ合成 NFC(A + ?+ ?）= ? NFKD,NFKC: NFKD(?）= カ NFKD(?）= D + z + ?
- 12. Unicode Algorithm ? Unicode collation algorithm (UCA) ? Case mapping algorithm ? Bidirectional algorithm (BIDI)
- 14. Lisp,Scheme,Erlang ML系言語 OCaml Haskell F# Scala
- 15. OCaml vs Haskell ? 関数型言語 – 副作用のないプログラミングスタイルを奨励 ? Hindley-Milner type systemがベース – 強い静的型付け – 型推論 – 多相型
- 16. OCaml vs Haskell(続き) OCaml Haskell Eager Lazy 副作用あり モナド begin … end etc. オフサイドルール 独自機能 独自機能 モジュール タイプクラス オブジェクト指向
- 18. Camomile ? 基本データ型 ? 文字コード変換 ? 正規化 ? Unicode Algorithms – UCA (文字列照合) – Case mappings ? 正規表現
- 19. サイト ? Github / yoriyuki / Camomile ? 課題 – ulib – Unicode 6.X対応 – まともな正規表現エンジン – バグ、バグ、バグ…