欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Vala
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 Vala Thanks, Wikipedia. |
Vala 是一个新的编程语言,它允许在 GNOME 运行时库的基础上使用一些现代的编程技巧。通过使用 GLib 和 GObject,Vala 提供了动态类型系统和辅助内存管理等功能。Vala 先被编译为 C 语言文件,然后再编译成机器代码,因此,Vala 程序拥有很高的执行效率。
Vala 的语法类似 C#
Val(a)IDE, an IDE for Vala
新闻
自http://blog.valaide.org/rss.xml加载RSS失败或RSS源被墙
链接
- Vala - Compiler for the GObject type system
- A collections of some simples benchmarks written in Vala.
<discussion>characters_max=300</discussion>
分享您的观点