欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Vala
来自开放百科 - 灰狐
(版本间的差异)
小 |
小 (→项目) |
||
(未显示1个用户的21个中间版本) | |||
第9行: | 第9行: | ||
==简介== | ==简介== | ||
− | Vala | + | Vala - 基于 GObject 类型系统的编程语言 |
− | Vala | + | Vala 是一个新的编程语言,它允许在 [[GNOME]] 运行时库的基础上使用一些现代的编程技巧。通过使用 GLib 和 GObject,Vala 提供了动态类型系统和辅助内存管理等功能。Vala 先被编译为 C 语言文件,然后再编译成机器代码,因此,Vala 程序拥有很高的执行效率。 |
− | + | Vala 语言的语法是参照 [[C Sharp|C#]] 的,与所有类 [[c programming language|C]] 语言相似。[https://wiki.gnome.org/Projects/Vala/ValaForCSharpProgrammers Vala for C# Programmers] | |
==功能== | ==功能== | ||
+ | *[https://www.vala-project.org/doc/vala/ Vala Reference Manual] | ||
+ | *[https://valadoc.org/ Vala Online Documentation] | ||
==指南== | ==指南== | ||
+ | Debian | ||
+ | $ sudo apt install valac | ||
+ | $ valac --version | ||
+ | $ vim helloWorld.vala | ||
+ | int main( string[] args ) | ||
+ | { | ||
+ | stdout.printf( "Hello World!\n" ); | ||
+ | return 0; | ||
+ | } | ||
+ | $ vala helloWorld.vala | ||
+ | $ valac helloWorld.vala | ||
+ | $ ./helloWorld | ||
+ | $ valac --save-temps helloWorld.vala | ||
+ | 生成了 c 代码:helloWorld.c | ||
==项目== | ==项目== | ||
[[文件:elementary-OS-logo.png|right|elementary OS]] | [[文件:elementary-OS-logo.png|right|elementary OS]] | ||
+ | [[文件:akira-logo.png|right|Akira]] | ||
+ | *[https://github.com/unrelentingtech/awesome-gtk Awesome GTK] [[文件:awesome.png]] | ||
*[https://github.com/GNOME/vala/ Vala @ GitHub] | *[https://github.com/GNOME/vala/ Vala @ GitHub] | ||
*[https://elementary.io/open-source elementary OS] 开源了众多 Vala 开发的应用 | *[https://elementary.io/open-source elementary OS] 开源了众多 Vala 开发的应用 | ||
*[https://github.com/akiraux/Akira Akira] Native Linux App for UI and UX Design built in Vala and [[GTK]] | *[https://github.com/akiraux/Akira Akira] Native Linux App for UI and UX Design built in Vala and [[GTK]] | ||
+ | *[https://wiki.gnome.org/Projects/Genie Genie] 是另一种由 Vala 编译器支持的编程语言,其语法更接近于 [[Python]]。 | ||
+ | *[https://github.com/valum-framework Valum] is a Web micro-framework | ||
+ | *[https://github.com/phase1geo/Minder Minder] [[Mind map]] | ||
+ | *[https://github.com/alainm23/planner Planner] [[Project management]] | ||
+ | *[https://gitlab.gnome.org/swilmet/gnome-latex GNOME LaTeX (LaTeXila)] | ||
+ | *[https://github.com/elementary/code elementary Code] | ||
+ | *[https://gitlab.gnome.org/raggesilver/blackbox Black Box] A beautiful [[GTK]] 4 terminal | ||
+ | *[https://github.com/babluboy/bookworm Bookworm] eBook reader | ||
+ | *[https://github.com/phw/peek Peek] an animated GIF recorder | ||
==图集== | ==图集== | ||
+ | <gallery> | ||
+ | image:vala-language.jpg|Vala | ||
+ | image:Vala-File-Types.jpg|Vala文件类型 | ||
+ | image:vala-hello-ui-world.png|helloUIWorld | ||
+ | image:bookworm-eBook-reader.png|Bookworm电子书阅读器 | ||
+ | </gallery> | ||
==链接== | ==链接== | ||
*[http://live.gnome.org/Vala Vala - Compiler for the GObject type system] | *[http://live.gnome.org/Vala Vala - Compiler for the GObject type system] | ||
*[http://code.google.com/p/vala-benchmarks/ A collections of some simples benchmarks written in Vala.] | *[http://code.google.com/p/vala-benchmarks/ A collections of some simples benchmarks written in Vala.] | ||
− | |||
[[category:GNOME]] | [[category:GNOME]] |
2022年7月24日 (日) 08:55的最后版本
您可以在Wikipedia上了解到此条目的英文信息 Vala Thanks, Wikipedia. |
Vala
目录 |
[编辑] 新闻
自http://blog.valaide.org/rss.xml加载RSS失败或RSS源被墙
[编辑] 简介
Vala - 基于 GObject 类型系统的编程语言
Vala 是一个新的编程语言,它允许在 GNOME 运行时库的基础上使用一些现代的编程技巧。通过使用 GLib 和 GObject,Vala 提供了动态类型系统和辅助内存管理等功能。Vala 先被编译为 C 语言文件,然后再编译成机器代码,因此,Vala 程序拥有很高的执行效率。
Vala 语言的语法是参照 C# 的,与所有类 C 语言相似。Vala for C# Programmers
[编辑] 功能
[编辑] 指南
Debian
$ sudo apt install valac $ valac --version $ vim helloWorld.vala int main( string[] args ) { stdout.printf( "Hello World!\n" ); return 0; } $ vala helloWorld.vala $ valac helloWorld.vala $ ./helloWorld $ valac --save-temps helloWorld.vala 生成了 c 代码:helloWorld.c
[编辑] 项目
- Awesome GTK
- Vala @ GitHub
- elementary OS 开源了众多 Vala 开发的应用
- Akira Native Linux App for UI and UX Design built in Vala and GTK
- Genie 是另一种由 Vala 编译器支持的编程语言,其语法更接近于 Python。
- Valum is a Web micro-framework
- Minder Mind map
- Planner Project management
- GNOME LaTeX (LaTeXila)
- elementary Code
- Black Box A beautiful GTK 4 terminal
- Bookworm eBook reader
- Peek an animated GIF recorder
[编辑] 图集
[编辑] 链接
分享您的观点