{"id":69384,"date":"2024-07-15T03:02:54","date_gmt":"2024-07-14T23:32:54","guid":{"rendered":"https:\/\/nabfollower.com\/blog\/constructing-xml-output-with-dream-html-1pgb\/"},"modified":"2024-07-15T03:02:54","modified_gmt":"2024-07-14T23:32:54","slug":"constructing-xml-output-with-dream-html-1pgb","status":"publish","type":"post","link":"https:\/\/nabfollower.com\/blog\/constructing-xml-output-with-dream-html-1pgb\/","title":{"rendered":"\u0633\u0627\u062e\u062a \u062e\u0631\u0648\u062c\u06cc XML \u0628\u0627 dream-html"},"content":{"rendered":"
\n

\u0645\u062f\u062a\u06cc \u0627\u0633\u062a \u06a9\u0647 \u0645\u0646 \u06cc\u06a9 \u06a9\u062a\u0627\u0628\u062e\u0627\u0646\u0647 OCaml \u0628\u0647 \u0646\u0627\u0645 dream-html \u0646\u06af\u0647\u062f\u0627\u0631\u06cc \u0645\u06cc \u06a9\u0646\u0645. \u0627\u06cc\u0646 \u06a9\u062a\u0627\u0628\u062e\u0627\u0646\u0647 \u062f\u0631 \u062f\u0631\u062c\u0647 \u0627\u0648\u0644 \u0628\u0631\u0627\u06cc \u0627\u0631\u0627\u0626\u0647 HTML\u060c SVG \u0648 MathML \u0628\u0647 \u062f\u0631\u0633\u062a\u06cc \u0633\u0627\u062e\u062a\u0647 \u0634\u062f\u0647 \u0627\u0633\u062a. \u0627\u062e\u06cc\u0631\u0627\u064b \u0642\u0627\u0628\u0644\u06cc\u062a \u0631\u0646\u062f\u0631 \u06a9\u0631\u062f\u0646 \u0646\u0634\u0627\u0646\u0647\u200c\u06af\u0630\u0627\u0631\u06cc XML \u0628\u0647 \u062e\u0648\u0628\u06cc \u0634\u06a9\u0644 \u06af\u0631\u0641\u062a\u0647 \u0631\u0627 \u0627\u0636\u0627\u0641\u0647 \u06a9\u0631\u062f\u0645 \u06a9\u0647 \u0642\u0648\u0627\u0646\u06cc\u0646 \u06a9\u0645\u06cc \u0645\u062a\u0641\u0627\u0648\u062a \u0627\u0632 HTML \u062f\u0627\u0631\u062f. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644\u060c \u062f\u0631 HTML \u0627\u06af\u0631 \u0645\u06cc \u062e\u0648\u0627\u0647\u06cc\u062f \u062e\u0627\u0644\u06cc \u0628\u0646\u0648\u06cc\u0633\u06cc\u062f div<\/code> \u0628\u0631\u0686\u0633\u0628\u060c \u0634\u0645\u0627 \u0627\u0646\u062c\u0627\u0645 \u0645\u06cc \u062f\u0647\u06cc\u062f: . But according to the rules of XML, you could also<\/em> write ie a self-closing tag, however HTML 5 does not have the concept of self-closing tags!<\/p>\n

So by having the library take care of these subtle but crucial details, you can just concentrate on writing code that generates the markup. Of course, this has many other advantages too, but in this post I will just look at XML.<\/p>\n

It turns out that often we need to serialize some data into XML format, for storage or communication purposes. There are a few packages in the OCaml ecosystem which handle XML, however I think dream-html actually does it surprisingly well now. Let’s take a look.<\/p>\n

But first, a small clarification about the dream-html package itself. Recently I split it up into two<\/em> packages:<\/p>\n

    \n
  1. \npure-html<\/code> \u062a\u0645\u0627\u0645 \u0642\u0627\u0628\u0644\u06cc\u062a \u0647\u0627\u06cc \u0645\u0648\u0631\u062f \u0646\u06cc\u0627\u0632 \u0628\u0631\u0627\u06cc \u0646\u0648\u0634\u062a\u0646 HTML \u0648 XML \u0645\u0639\u062a\u0628\u0631 \u0631\u0627 \u062f\u0627\u0631\u062f<\/li>\n
  2. \ndream-html<\/code> \u0647\u0645\u0647 \u0645\u0648\u0627\u0631\u062f \u0641\u0648\u0642 \u0631\u0627 \u062f\u0627\u0631\u062f\u060c \u0628\u0647 \u0639\u0644\u0627\u0648\u0647 \u0645\u0642\u062f\u0627\u0631\u06cc \u0627\u062f\u063a\u0627\u0645 \u0628\u0627 \u0686\u0627\u0631\u0686\u0648\u0628 \u0648\u0628 Dream \u0628\u0631\u0627\u06cc \u0633\u0647\u0648\u0644\u062a \u0627\u0633\u062a\u0641\u0627\u062f\u0647.<\/li>\n<\/ol>\n

    \u0647\u0645\u0627\u0646\u0637\u0648\u0631 \u06a9\u0647 \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u062a\u0635\u0648\u0631 \u06a9\u0646\u06cc\u062f\u060c \u062f\u0644\u06cc\u0644 \u062a\u0642\u0633\u06cc\u0645 \u0627\u062c\u0627\u0632\u0647 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0639\u0645\u0644\u06a9\u0631\u062f HTML\/XML \u0628\u0633\u062a\u0647 \u0628\u062f\u0648\u0646 \u0646\u06cc\u0627\u0632 \u0628\u0647 \u06a9\u0634\u06cc\u062f\u0646 \u06a9\u0644 \u0645\u062e\u0631\u0648\u0637 \u0648\u0627\u0628\u0633\u062a\u06af\u06cc Dream \u0628\u0648\u062f\u060c \u06a9\u0647 \u0628\u0633\u06cc\u0627\u0631 \u0628\u0632\u0631\u06af \u0627\u0633\u062a\u060c \u0628\u0647 \u062e\u0635\u0648\u0635 \u0627\u06af\u0631 \u0627\u0632 \u0645\u062e\u0631\u0648\u0637 \u0648\u0627\u0628\u0633\u062a\u06af\u06cc \u0645\u062a\u0641\u0627\u0648\u062a\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u06cc\u062f. \u062e\u0648\u0628. \u0628\u0646\u0627\u0628\u0631\u0627\u06cc\u0646 pure-html<\/code> \u0641\u0642\u0637 \u0628\u0647 uri<\/code> \u0628\u0633\u062a\u0647 \u0627\u06cc \u0628\u0631\u0627\u06cc \u06a9\u0645\u06a9 \u0628\u0647 \u0633\u0627\u062e\u062a \u0631\u0634\u062a\u0647 \u0647\u0627\u06cc URI \u0635\u062d\u06cc\u062d.<\/p>\n

    \u0628\u0631\u0627\u06cc \u0634\u0631\u0648\u0639 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0622\u0646\u060c \u0641\u0642\u0637 \u0646\u0635\u0628 \u06a9\u0646\u06cc\u062f: opam install pure-html<\/code><\/p>\n

    \u0648 \u0628\u0647 \u062e\u0648\u062f \u0627\u0636\u0627\u0641\u0647 \u06a9\u0646\u06cc\u062f dune<\/code> \u0641\u0627\u06cc\u0644: (libraries pure-html)<\/code><\/p>\n

    \u062d\u0627\u0644\u060c \u0628\u06cc\u0627\u06cc\u06cc\u062f \u0628\u0647 \u0645\u062b\u0627\u0644\u06cc \u0646\u06af\u0627\u0647 \u06a9\u0646\u06cc\u0645 \u06a9\u0647 \u0686\u06af\u0648\u0646\u0647 \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u0627\u0632 \u0622\u0646 \u0628\u0631\u0627\u06cc \u0633\u0627\u062e\u062a XML \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u06cc\u062f. \u0641\u0631\u0636 \u06a9\u0646\u06cc\u062f \u0646\u0648\u0639 \u0632\u06cc\u0631 \u0631\u0627 \u062f\u0627\u0631\u06cc\u062f:<\/p>\n

    \n
    type<\/span> person<\/span> =<\/span> {<\/span>\n  name<\/span> :<\/span> string<\/span>;<\/span>\n  email<\/span> :<\/span> string<\/span>;<\/span>\n}<\/span>\n<\/code><\/pre>\n
    \n
    \n    \u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n
        \u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n<\/div>\n<\/div>\n<\/div>\n
    \u0648 \u0634\u0645\u0627 \u0628\u0627\u06cc\u062f \u0622\u0646 \u0631\u0627 \u0628\u0647 \u0635\u0648\u0631\u062a \u0633\u0631\u06cc\u0627\u0644 XML \u0628\u0647 \u0635\u0648\u0631\u062a \u0632\u06cc\u0631 \u0627\u0646\u062c\u0627\u0645 \u062f\u0647\u06cc\u062f:<\/p>\n
    \n
     name=<\/span>\"Bob\"<\/span> email=<\/span>\"bob@info.com\"<\/span>\/><\/span>\n<\/person><\/span><\/code><\/pre>\n
    \n
    \n    \u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n
        \u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n<\/div>\n<\/div>\n<\/div>\n
    \u0628\u06cc\u0627\u06cc\u06cc\u062f \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u06cc\u06a9 \u0633\u0631\u06cc\u0627\u0644 \u0633\u0627\u0632 \u0628\u0646\u0648\u06cc\u0633\u06cc\u0645 pure-html<\/code> \u0628\u0633\u062a\u0647:<\/p>\n
    \n
    open<\/span> Pure_html<\/span>\n\nlet<\/span> person_xml<\/span> =<\/span>\n  let<\/span> person<\/span> =<\/span> std_tag<\/span> \"person\"<\/span>\n  and<\/span> name<\/span> =<\/span> string_attr<\/span> \"name\"<\/span>\n  and<\/span> email<\/span> =<\/span> string_attr<\/span> \"email\"<\/span> in<\/span>\n  fun<\/span> {<\/span> name<\/span> =<\/span> n<\/span>;<\/span> email<\/span> =<\/span> e<\/span> }<\/span> -><\/span> person<\/span> [<\/span>name<\/span> \"%s\"<\/span> n<\/span>;<\/span> email<\/span> \"%s\"<\/span> e<\/span>]<\/span> []<\/span>\n<\/code><\/pre>\n
    \n
    \n    \u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n
        \u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n<\/div>\n<\/div>\n<\/div>\n
    \u0628\u06cc\u0627\u06cc\u06cc\u062f \u0622\u0646 \u0631\u0627 \u0622\u0632\u0645\u0627\u06cc\u0634 \u06a9\u0646\u06cc\u0645:<\/p>\n
    \n
    $ utop -require pure-html\n# open Pure_html;;\n# let pp = pp_xml ~header:true;;\nval pp : Format.formatter -> node -> unit = \n# #install_printer pp;;\n# type person = {\n  name : string;\n  email : string;\n};;\ntype person = { name : string; email : string; }\n# let person_xml =\n  let person = std_tag \"person\"\n  and name = string_attr \"name\"\n  and email = string_attr \"email\" in\n  fun { name = n; email = e } -> person [name \"%s\" n; email \"%s\" e] [];;\nval person_xml : person -> node = \n# person_xml { name = \"Bob\"; email = \"bob@example.com\" };;\n- : node =\n\n\n<\/fun><\/fun><\/code><\/pre>\n
    \n
    \n    \u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n
        \u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n<\/div>\n<\/div>\n<\/div>\n
    \u062e\u0648\u0628 \u062e\u0648\u0628\u060c \u067e\u0633 \u0645\u0627 person<\/code> \u0631\u06a9\u0648\u0631\u062f \u0628\u0647 \u0627\u06cc\u0646 \u0631\u0648\u0634 \u062e\u0627\u0635 \u0633\u0631\u06cc\u0627\u0644 \u0645\u06cc \u0634\u0648\u062f.  \u0627\u0645\u0627\u060c \u0627\u06af\u0631 \u0628\u062e\u0648\u0627\u0647\u06cc\u0645 \u0622\u0646 \u0631\u0627 \u0633\u0631\u06cc\u0627\u0644\u06cc \u06a9\u0646\u06cc\u0645\u060c \u0686\u0647 \u0645\u06cc\u200c\u0634\u0648\u062f:<\/p>\n
    \n
    <\/span>\n  <\/span>Bob\n  <\/span>bob@example.com\n\n<\/code><\/pre>\n
    \n
    \n    \u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n
        \u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n<\/div>\n<\/div>\n<\/div>\n
    \u0627\u0632 \u0627\u06cc\u0646 \u06af\u0630\u0634\u062a\u0647\u060c \u0627\u06cc\u0646 \u06cc\u06a9 \u0631\u0648\u0634 \u0631\u0627\u06cc\u062c \u0628\u0631\u0627\u06cc \u0642\u0627\u0644\u0628\u200c\u0628\u0646\u062f\u06cc \u0631\u06a9\u0648\u0631\u062f\u0647\u0627 \u062f\u0631 XML \u0627\u0633\u062a.  \u0628\u06cc\u0627\u06cc\u06cc\u062f \u0633\u0631\u06cc\u0627\u0644 \u0633\u0627\u0632 \u0631\u0627 \u0628\u0647 \u0627\u06cc\u0646 \u0633\u0628\u06a9 \u0628\u0646\u0648\u06cc\u0633\u06cc\u0645:<\/p>\n
    \n
    let<\/span> person_xml<\/span> =<\/span>\n  let<\/span> person<\/span> =<\/span> std_tag<\/span> \"person\"<\/span>\n  and<\/span> name<\/span> =<\/span> std_tag<\/span> \"name\"<\/span>\n  and<\/span> email<\/span> =<\/span> std_tag<\/span> \"email\"<\/span> in<\/span>\n  fun<\/span> {<\/span> name<\/span> =<\/span> n<\/span>;<\/span> email<\/span> =<\/span> e<\/span> }<\/span> -><\/span>\n    person<\/span> []<\/span> [<\/span>\n      name<\/span> []<\/span> [<\/span>txt<\/span> \"%s\"<\/span> n<\/span>];<\/span>\n      email<\/span> []<\/span> [<\/span>txt<\/span> \"%s\"<\/span> e<\/span>];<\/span>\n    ]<\/span>\n<\/code><\/pre>\n
    \n
    \n    \u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n
        \u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n<\/div>\n<\/div>\n<\/div>\n
    \u0628\u06cc\u0627\u06cc\u06cc\u062f \u0622\u0646 \u0631\u0627 \u0627\u0645\u062a\u062d\u0627\u0646 \u06a9\u0646\u06cc\u0645:<\/p>\n
    \n
    # let person_xml =\n  let person = std_tag \"person\"\n  and name = std_tag \"name\"\n  and email = std_tag \"email\" in\n  fun { name = n; email = e } ->\n    person [] [\n      name [] [txt \"%s\" n];\n      email [] [txt \"%s\" e];\n    ];;\nval person_xml : person -> node = \n# person_xml { name = \"Bob\"; email = \"bob@example.com\" };;\n- : node =\n\nBob<\/name>bob@example.com<\/email><\/person>\n<\/fun><\/code><\/pre>\n
    \n
    \n    \u0648\u0627\u0631\u062f \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n
        \u0627\u0632 \u062d\u0627\u0644\u062a \u062a\u0645\u0627\u0645 \u0635\u0641\u062d\u0647 \u062e\u0627\u0631\u062c \u0634\u0648\u06cc\u062f<\/title>\n    \n<\/svg><\/p>\n<\/div>\n<\/div>\n<\/div>\n
    \u0628\u0647 \u0646\u0638\u0631 \u062e\u0648\u0628 \u0645\u06cc\u0627\u062f!  \u0628\u06cc\u0627\u06cc\u06cc\u062f \u062a\u0648\u0627\u0628\u0639 \u0631\u0627 \u0628\u0631\u0631\u0633\u06cc \u06a9\u0646\u06cc\u0645 pure-html<\/code> \u0628\u0633\u062a\u0647 \u0645\u0648\u0631\u062f \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u062f\u0631 \u0627\u06cc\u0646\u062c\u0627 \u0628\u0631\u0627\u06cc \u0631\u0633\u06cc\u062f\u0646 \u0628\u0647 \u0627\u06cc\u0646.<\/p>\n
    \n
    \n
    \u0641\u0647\u0631\u0633\u062a \u0645\u0637\u0627\u0644\u0628<\/p>\nToggle<\/span><\/path><\/svg><\/svg><\/span><\/span><\/span><\/a><\/span><\/div>\n