欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Barracuda
Barracuda is a powerful, Java-based Open-Source Presentation Framework (LGPL) that has been around since 2001. Barracuda makes it easier to build secure, maintainable, enterprise caliber webapps by providing better separation between templates and business logic - your markup stays in templates; your coding stays in classes. If you recognize the advantages Java offers, but are frustrated with the limitations of Struts and JSP.
Barracuda是一个HTML DOM Component + Event/Listener结构的框架. 根据模板文件或配置文件生成静态Java类, 并在代码中使用这些生成类, Barracuda需要用XMLC项目把所有的HTML或WML模板文件, 静态编译成DOM结构的Java类, 作为页面组件. XMLC会根据HTML元素的id定义, 生成相应DOM结点的简便操作方法. Barracuda的事件类也需要用Barracuda Event Builder工具把event.xml编译成Java类, 引入到工程中. Barracuda直接用Java类的继承关系映射事件之间的父子层次关系. 比如, ChildEvent是ParentEvent的子类. Barracuda的事件分为两类: Request Events(Control Events)和Response Events(View Events)Barracuda事件处理过程类似于Windows系统消息队列的处理机制.