欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Kotlin
来自开放百科 - 灰狐
(版本间的差异)
小 (→DSL) |
小 (→新闻) |
||
第14行: | 第14行: | ||
==新闻== | ==新闻== | ||
+ | *[https://blog.jetbrains.com/zh-hans/kotlin/ Kotlin Blog] | ||
*[https://blog.jetbrains.com/kotlin/2017/05/kotlin-on-android-now-official/ Google IO 2017 宣布了 Kotlin 成为 Android 官方开发语言。] (2017.5) [https://www.zhihu.com/question/59988655 如何看待 Google 宣布 Kotlin 正式成为 Android 的开发语言?] | *[https://blog.jetbrains.com/kotlin/2017/05/kotlin-on-android-now-official/ Google IO 2017 宣布了 Kotlin 成为 Android 官方开发语言。] (2017.5) [https://www.zhihu.com/question/59988655 如何看待 Google 宣布 Kotlin 正式成为 Android 的开发语言?] | ||
2022年5月1日 (日) 03:38的版本
您可以在Wikipedia上了解到此条目的英文信息 Kotlin Thanks, Wikipedia. |
Kotlin
目录 |
简介
使用 Kotlin 更快地编写更出色的 Android 应用。Kotlin 是一种新型的静态类型编程语言,有超过 60% 的专业 Android 开发者在使用,它有助于提高工作效率、开发者满意度和代码安全性。
Kotlin 是一种在 Java 虚拟机上执行的静态型编程语言,它也可以被编译成为 JavaScript 源代码。它主要是由俄罗斯圣彼得堡的 JetBrains 开发团队所发展出来的编程语言,其名称来自于圣彼得堡附近的科特林岛,主要面向 Android 和 浏览器应用,采用 Apache v2 许可协议。
基金会
新闻
- Kotlin Blog
- Google IO 2017 宣布了 Kotlin 成为 Android 官方开发语言。 (2017.5) 如何看待 Google 宣布 Kotlin 正式成为 Android 的开发语言?
版本
为什么
为什么选择 Kotlin
- 因为 Kotlin ecosystem
- 因为 Kotlin Anywhere 和 Kotlin/Native
- 因为 Android
- 因为 Kotlin Multiplatform Mobile (KMM) for iOS
- 因为 Lambda 编程
- 因为 DSL
- 因为 from Swift to Kotlin
- 因为区块链应用 Corda
功能
指南
$ brew update $ brew install kotlin
或者
$ 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 $ kotlinc
例子
fun main(args: Array<String>) { println("Hello, world!") }
DSL
DSL 有内部和外部之分,内部 DSL 是通用编程语言编写的程序的一部分,使用了和通用编程语言完全一致的语法。而外部 DSL,如 SQL,则使用的是另一种语法。
领域特定语言(DSL)为 Kotlin 类设计更有表现力、更符合语言习惯的API,如:
- 构建HTML页面的内部DSL:kotlin.html
- 提供单元测试的内部DSL:kotlintest
- 提供数据库操作的内部DSL:exposed
- 提供Android UI布局的内部DSL:anko
- Jetpack Compose A reactive View DSL for Kotlin
KMM
项目
- Tachiyomi reader 有良好的插件设计和丰富的扩展资源
- Ktor Web application framework
- Kotlin/Native
- Anko Android应用开发基础库
- Corda 是Kotlin开发的开源(Apache v2)分布式总账平台。
- Android River Android Rivers:用Kotlin语言写出的新闻应用
- 使用Kotlin撸一款Eyepetizer,学习Kotlin语言
- EasyKotlin
- Kotlin Symbol Processing (KSP) API 由 Google 创建,用于开发轻量级编译器插件。
用户
- Multiplatform Mobile Case Studies
- Netflix Android and iOS Studio Apps — now powered by Kotlin Multiplatform
文档
图集
- Kotlin-Koans.png
Kotlin Koans
链接
分享您的观点