欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Kotlin
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
小 (→项目) |
||
| 第16行： | 第16行： | ||
==项目== | ==项目== | ||
[[文件:awesome.png]] [https://github.com/KotlinBy/awesome-kotlin Awesome Kotlin] | [[文件:awesome.png]] [https://github.com/KotlinBy/awesome-kotlin Awesome Kotlin] | ||
| − | *[https://github.com/Kotlin/anko Anko] [[ | + | *[https://github.com/Kotlin/anko Anko] [[Android]]应用开发基础库 |
*[https://github.com/corda/corda Corda] 是Kotlin开发的开源(Apache v2)分布式总账平台。 | *[https://github.com/corda/corda Corda] 是Kotlin开发的开源(Apache v2)分布式总账平台。 | ||
*[https://github.com/dodyg/AndroidRivers Android River] [http://www.csdn.net/article/2013-02-06/2814100-use-kotlin-to-develop-android-apps Android Rivers：用Kotlin语言写出的新闻应用] | *[https://github.com/dodyg/AndroidRivers Android River] [http://www.csdn.net/article/2013-02-06/2814100-use-kotlin-to-develop-android-apps Android Rivers：用Kotlin语言写出的新闻应用] | ||
2017年8月8日 (二) 16:05的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Kotlin Thanks, Wikipedia. |
Kotlin是一种在 Java虚拟机上执行的静态型别编程语言，它也可以被编译成为JavaScript源代码。它主要是由俄罗斯圣彼得堡的JetBrains开发团队所发展出来的编程语言，其名称来自于圣彼得堡附近的科特林岛。主要面向 Android 和 浏览器应用。
目录 |
新闻
指南
例子
fun main(args: Array<String>) {
println("Hello, world!")
}
项目
- Anko Android应用开发基础库
- Corda 是Kotlin开发的开源(Apache v2)分布式总账平台。
- Android River Android Rivers：用Kotlin语言写出的新闻应用
文档
图集
链接
分享您的观点
