欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Enlive:基于选择器的HTML转换,深受CSS选择器的启发,是Clojure模版引擎。
Enlive解耦代码和模版的方式不是定义一个特别的局部语法把值插入模版,而是将内容注入到模板里,Clojure代码指定要修改什么,Clojure函数定义要应用什么转换。
An Introduction to Enlive