欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Anvil
来自开放百科 - 灰狐
Anvil is a Java based server environment and object oriented programming language with templating support, being especially well-suited to for web applications.
Anvil是一个基于Java的为Web程序开发的平台, 可独立或伺服式部署. 它包括大量功能齐全的面向对象的编程语言. 语言的一个子集也可用于一个以tag为基础的模板语言. 所有的脚本和模板都被汇编为Java比特代码.
Links
分享您的观点