欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Kotlin
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 (→指南) |
||
第12行: | 第12行: | ||
==指南== | ==指南== | ||
[https://try.kotlinlang.org Try Kontlin] | [https://try.kotlinlang.org Try Kontlin] | ||
+ | $ curl -s https://get.sdkman.io | bash | ||
+ | $ source "$HOME/.sdkman/bin/sdkman-init.sh" | ||
+ | $ sdk help | ||
+ | $ vim ~/.sdkman/etc/config | ||
+ | sdkman_beta_channel=true | ||
+ | $ sdk selfupdate force | ||
+ | $ sdk install kotlin | ||
+ | $ kotlinc -help | ||
==例子== | ==例子== |
2017年12月7日 (四) 16:50的版本
您可以在Wikipedia上了解到此条目的英文信息 Kotlin Thanks, Wikipedia. |
Kotlin是一种在 Java虚拟机上执行的静态型编程语言,它也可以被编译成为JavaScript源代码。它主要是由俄罗斯圣彼得堡的JetBrains开发团队所发展出来的编程语言,其名称来自于圣彼得堡附近的科特林岛,主要面向 Android 和 浏览器应用,采用Apache v2许可协议。
目录 |
新闻
版本
功能
指南
$ curl -s https://get.sdkman.io | bash $ source "$HOME/.sdkman/bin/sdkman-init.sh" $ sdk help $ vim ~/.sdkman/etc/config sdkman_beta_channel=true $ sdk selfupdate force $ sdk install kotlin $ kotlinc -help
例子
fun main(args: Array<String>) { println("Hello, world!") }
项目
- Ktor Web application framework
- Kotlin/Native
- Anko Android应用开发基础库
- Corda 是Kotlin开发的开源(Apache v2)分布式总账平台。
- Android River Android Rivers:用Kotlin语言写出的新闻应用
文档
图集
链接
分享您的观点