欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Wedge
Wedge - The Web on the Edge
Wedge is a POJO based component centric web framework that uses runtime code generation and naming conventions in order to provide a simple way to develop web applications in java.
Wedge page templates are plain xhtml documents with few sensible attributes. The classes behind these pages are simple POJO's (Plain Old Java Object) with no imposed object hierarchy.
Wedge是一个基于POJO面向组件的Web框架. 它利用运行期代码生成和习惯命名来简化Web应用的开发. Wedge页面模板是包含一些关键字的简单 xhtml文档与页面相对应的后台类是没有层次之分POJO. 在运行期,Wedge会生成并编译一个第三方Class, 这个Class与页面模板和页面后台类相绑定. 这个自动生成的Class是在一个单独的Class Loader中加载, 所以当页面模板或页面后台类变化时将被丢弃. Wedge在运行期能够重新加载模板和页面类的java源代码, 这意味着你可以随意你页面类的java源代码(新增,修改,删除或重命名方法和属性), 然后只要刷新浏览器就可以看到修改后的结果.