探索TyXML:静态验证的HTML5与SVG文档构建利器
(* 使用TyXML库构建一个简单的HTML5页面 *)
open TyXML
let () =
(* 创建HTML5文档 *)
let html = Html5.html ~children:[
Html5.head ~children:[
Html5.title ~children:[ Html5.txt "我的第一个页面" ] ()
] () ;
Html5.body ~children:[
Html5.h1 ~children:[ Html5.txt "欢迎来到我的网站" ] () ;
Html5.p ~children:[ Html5.txt "这是一个段落。" ] () ;
Html5.a ~attrs:[ "href", "https://www.example.com" ] ~children:[ Html5.txt "点击这里" ] ()
] ()
] () in
(* 输出HTML5文档为字符串 *)
print_endline (Html5.to_string html)
这段代码使用了TyXML库来创建一个简单的HTML5文档,包含标题、一个标题、一个段落和一个链接。然后,它将这个文档转换成字符串并打印出来。这个例子展示了如何使用TyXML库来创建和操作HTML和SVG文档,并且演示了静态类型检查的好处。
评论已关闭