A TypeScript Fans KotlinJS Adventures

© Instil Software 2020
A TYPESCRIPT FAN'S
KOTLINJS ADVENTURES
should you make the
switch?

– TS brings types and compilation to JS
– Improves upon the existing strengths of JS
– Makes us more productive and happy
– Leverages existing JS frameworks
– Interop with JS is a design goal
we love typescript
it solves real problems for us

– Kotlin improves upon Java in many ways
– Adds null safety, DSLs, coroutines etc...
– Makes us more productive and happy
– Leverages existing JVM frameworks
– But interop with Java is a design goal
we love kotlin
it solves real problems for us

JVM
Java
Bytecode
Kotlin
(JVM)
Kotlin
(JS)
Browser
JavaScript
Interpreter
Kotlin
(Native)
Machine Code
& Runtime
OS
Kotlin
(Android)
ART
Dalvik
Bytecode

experiment: is kotlinjs worth it?
– Build an app in both TypeScript and KotlinJS
– Go beyond “hello world”
– Incorporate common JS libraries
– Compare the experience
– Tooling
– Language features
– Community
what problem does it solve?

breakout clone
browser based clone

– React
– https://reactjs.org
– Redux
– https://redux.js.org
– React-Three-Fiber
– https://github.com/react-spring/react-three-fiber
frameworks we used

declarative UI
state separation
const geometry = new THREE.BoxGeometry(BAT_WIDTH, 1, 1);
export const Bat: FC = () => {
const position = useSelector((state: State) => state.batPosition);
return (
<mesh position={[position, 0, BAT_Z]} geometry={geometry}>
{woodMaterial}
</mesh>
);
};

creating a
kotlinjs react project

– Template project from IntelliJ
– Grade project using Kotlin DSL
– Easily integrate NPM packages
creating new project
the wizard

multiplatform libraries
COMMON
KOTLIN
KOTLIN ANDROID
KOTLIN JS
KOTLIN NATIVE
KOTLIN JVM
NATIVE
ARTEFACT
JS BUNDLE
JAR

kotlin js plugin
plugins {
kotlin("js") version "1.5.0"
}
// ...
kotlin {
js(LEGACY) {
binaries.executable()
browser {
commonWebpackConfig {
cssSupport.enabled = true
}}}}
There is a new IR compiler

kotlin gradle dsl
$ ./gradlew tasks –all
…
Kotlin browser tasks
--------------------
browserDevelopmentRun - start development webpack dev server
browserDevelopmentWebpack - build webpack development bundle
browserDistributeResources
browserDistribution
browserProductionRun - start production webpack dev server
browserProductionWebpack - build webpack production bundle
browserRun
browserWebpack

add packages from multiple sources
kotlinjs, multiplatform and npm
dependencies {
testImplementation(kotlin("test-js"))
implementation("io.ktor:ktor-client-core:$ktorVersion")
implementation("org.jetbrains:kotlin-react:17.0.1-pre.148-kotlin-1.4.30")
implementation("org.jetbrains:kotlin-react-dom:17.0.1-pre.148-kotlin-1.4.30")
implementation("org.jetbrains:kotlin-redux:4.0.5-pre.148-kotlin-1.4.30")
implementation("org.jetbrains:kotlin-react-redux:7.2.2-pre.148-kotlin-1.4.30")
implementation(npm("bootstrap", "4.6.0"))
implementation(npm("jquery", "1.9.1 - 3"))
implementation(npm("popper.js", "^1.16.1"))
implementation(npm("lodash", "^4.7.0"))
}

get down to coding
main
import kotlinx.browser.document
import kotlinx.browser.window
import react.dom.render
import react.router.dom.browserRouter
fun main() {
window.onload = {
render(document.getElementById("root")) {
browserRouter {
// ...
}
}
}
}

get down to coding
easy access to standard browser apis
fun main() {
window.onload = {
browserRouter {
// ...
}
}
}
}
Moved from kotlin.browser to
kotlinx.browser in 1.4

get down to coding
easy access to react library
fun main() {
window.onload = {
browserRouter {
// ...
}
}
}
}

standard library documentation
excellent compatibility docs

its popularity continues to grow
rising star on language rankings
…
18 Kotlin
…
https://redmonk.com/sogrady/2021/03/01
/language-rankings-1-21/
The RedMonk
Programming Language
Rankings: January 2021

rising star on language rankings
https://insights.stackoverflow.com/survey/2020
Stack Overflow Developer
Survey 2020
Most Used Language
13th Kotlin
1st JavaScript
8th TypeScript

loved by its users
https://insights.stackoverflow.com/survey/2020
Stack Overflow Developer
Survey 2020
Most Loved Language
2nd TypeScript
4th Kotlin
10th JavaScript
1st Rust

TS is good at retaining adopters
TypeScript in 2020
72.2% would use again
15.5% interested
https://2020.stateofjs.com/en-US/

– TypeScript is more popular than KotlinJS
– As a superset of JS, reusing knowledge and assets is easier
– And the transition for JS developers to TS is easier
– TypeScript is well established in the JavaScript world
– Many libraries include TypeScript definitions
– DefinitelyTyped contains many more
community, maturity and support
typescript > kotlin

interop with javascript
Round
2

– Only a few first class wrappers provided
– It is easy to add NPM packages yourself
– But how easy is it to consume that code in Kotlin?
importing npm js packages
gradle dsl
dependencies {
. . .
implementation(npm("react-three-fiber", "4.2.20"))
implementation(npm("react-use-gesture", "7.0.15"))
implementation(npm("three", "0.119.1"))
}

really easy
external declarations
@file:JsModule("react-three-fiber")
@file:JsNonModule
...
external val Canvas: RClass<RProps>
external fun extend(objects: Any)
external fun useFrame(callback: (dynamic, Double) -> Unit)
external fun useThree(): dynamic
external interface PointerEvent {
val uv: Vector2
}
Specify the NPM package
Define any items you
wish to use

– Converts TypeScript d.ts files to Kotlin external declarations
– Still experimental
– At time of writing, on hold until IR compiler stabilises
dukat
automatic generation
https://kotlinlang.org/docs/js-external-declarations-with-dukat.html

– Command line tool
– Installable in isolation via npm
– Simply point to a .d.ts file and it will do the rest
dukat
usage
$ dukat index.d.ts index.module_my-library.kt
$ npm install dukat

dukat
export function getString(): string;
export function setString(input: string): void;
external fun getString(): String
external fun setString(input: String)

– Integrated into Gradle
– Generates definitions for configured packages
dukat
usage
Dukat tasks
-----------
generateExternals
generateExternalsIntegrated

dukat
export interface BasicInterface {
readonly field1: number;
method1(): boolean;
}
export function buildInterface(): BasicInterface;
export type ReadOnlyBasicInterface = Readonly<BasicInterface>;
external interface BasicInterface {
var field1: Number
fun method1(): Boolean
}
external fun buildInterface(): BasicInterface
typealias ReadOnlyBasicInterface = Readonly<BasicInterface>

– It’s a good help but has issues
– Limited by differences in the languages
– Not a seamless workflow
– This situation may improve as the tool and Kotlin evolves
not a silver bullet
square peg and a round hole

– KotlinJS supports a dynamic type
– You can use it in place of any type
– Assign it a value of any type
– Access and use members with any name
– Basically switches off type checking
– This can be used to quickly patch over APIs
dynamic
get out of jail type
external fun useFrame(callback: (dynamic, Double) -> Unit)

– Object literals are common in JavaScript
– KotlinJS has a helper function to create objects
– This is strongly typed (inferred) but requires fields to be var
jsObject
object literals in kotlinjs
Block(jsObject {
position = brick.location.toVector3()
color = brick.color
})

– We can embed JavaScript directly with the js function
– The code can even use Kotlin variables
– Must be a compile time constant
– Cannot be a runtime evaluated expression
js
embedding javascript
private fun getToken(): String? {
val tokenKey = TokenKey
return js("""
localStorage.getItem(tokenKey)
""")
}

– As a superset, TypeScript has to win this one
– The type system is geared to support JavaScript
– Lots of libraries already provide TypeScript definition files
– However, writing external declaration in KotlinJS is easy
– Dukat exists but has fundamental limitations
– You may have to write custom translation code on top
interop with javascript
typescript > kotlinjs

JSX
IN
TYPESCRIPT
export const Hud: FC = () => {
// ...
return (
<div>
<h2>Lives: {lives}</h2>
<h2>Score: {score}</h2>
<div>
<label>Speed:</label>
<input type="range" min={1} max={50} value={speedScalar * 10}
onChange={e => /* ... */}/>
</div>
<div>
<label>Sound Active:</label>
<input type="checkbox" checked={soundActive}
onChange={e => /* ... */}/>
</div>
</div>
);
};
JSX embeds markup
inside JS / TS code

val Hud = FC {
// ...
div {
h2 { +"Lives: $lives" }
h2 { +"Score: $score" }
div {
label { +"Speed:" }
input(type = InputType.range) {
attrs {
min = "1"
max = "50"
value = (speedScalar * 10).toString()
onChangeFunction = {/* ... */}
}}}
div {
label { +"Sound Active:" }
input(type = InputType.checkBox) {
attrs {
checked = soundActive
}}}}
}
fun RBuilder.Hud() = child(Hud)
REACT
DSL
IN
KOTLIN
In Kotlin a DSL
provides equivalent
functionality

kotlin DSL’s are very cool
a major advantage

REACT
DSL
IN
KOTLIN
inline fun RBuilder.div(
classes: String? = null,
block: RDOMBuilder<DIV>.() -> Unit
): ReactElement
Extension function
Last param is a
lambda with receiver
// Here, “this” is the containing object
div {
// Here, “this” is a RDOMBuilder<DIV>
}
Optional param via default

REACT
DSL
IN
KOTLIN
inline fun RBuilder.div(
classes: String? = null,
block: RDOMBuilder<DIV>.() -> Unit
): ReactElement
// Here, “this” is the containing object
div {
// Here, “this” is a RDOMBuilder<DIV>
}

But some parts are
cumbersome...

val Hud = FC {
// ...
div {
div {
label { +"Speed:" }
attrs {
min = "1“
max = "50"
}}}
// ...
}
REACT
DSL
IN
KOTLIN

val Hud = FC {
// ...
div {
div {
label { +"Speed:" }
attrs {
min = "1"
max = "50"
}}}
// ...
}
REACT
DSL
IN
KOTLIN
Single ‘bucket’
for attributes

val Hud = FC {
// ...
div {
div {
label { +"Speed:" }
attrs {
min = "1"
max = "50"
}}}
// ...
}
REACT
DSL
IN
KOTLIN
Overloaded operators to attach data

val Hud = FC {
// ...
div {
div {
label { +"Speed:" }
attrs {
min = "1"
max = "50"
}}}
// ...
}
REACT
DSL
IN
KOTLIN
Additional extension
function required

val Hud = FC {
// ...
div {
div {
label { +"Speed:" }
attrs {
min = "1"
max = "50"
}}}
// ...
}
REACT
DSL
IN
KOTLIN
Attributes must be
given as strings*

interface InputHTMLAttributes<T> extends HTMLAttributes<T> {
max?: number | string;
min?: number | string;
value?: string | ReadonlyArray<string> | number;
...
}
Type union
type PropsWithChildren<P> = P & { children?: ReactNode };
Type intersection

// Type exports erased!
external fun interfaceUnionInput(input: First)
external fun interfaceUnionInput(input: Second)
external fun interfaceUnionOutput(): dynamic /* First | Second */
export type InterfaceUnion = First | Second;
export function interfaceUnionInput(input: InterfaceUnion): void;
export function interfaceUnionOutput(): InterfaceUnion;
Kotlin supports
proper overloads
Not supported on
the return type

external fun interfaceIntersectionInput(input: First /* First & Second */)
external fun interfaceIntersectionOutput(): First /* First & Second */
export type InterfaceIntersection = First & Second;
export function interfaceIntersectionInput(input: InterfaceIntersection): void;
export function interfaceIntersectionOutput(): InterfaceIntersection;
Intersection
dropped

mapped and conditional types
even more power in typescript
type Readonly<T> = {
readonly [P in keyof T]: T[P];
};
type PromiseType<T extends Promise<any>> =
T extends Promise<infer U> ? U : never;
Type conditional

The languages are simply not
fully compatible

manual workarounds
useEffect
function useEffect(
effect: EffectCallback,
deps?: DependencyList
): void;
type EffectCallback = () => (void | Destructor);
type Destructor = () => void;

useEffect
union return workaround
fun useEffect(
dependencies: RDependenciesList? = null,
effect: () -> Unit
) {
// ...
}
fun useEffectWithCleanup(
dependencies: RDependenciesList? = null,
effect: () -> Rcleanup
) {
// ...
}

– Kotlin’s DSL support is a powerful general purpose tool
– But JSX is a single purpose solution that suits React better
– TypeScript’s advanced type system is very powerful
– Union, intersection and mapped types bring sanity to JS
– Kotlin types (unsurprisingly) sit awkwardly on top of JS
jsx vs dsl
typescript > kotlin

async await vs coroutines
Round
4

asynchronous programming
– Async await is a good async solution in JS & TS
– Engineered so it interops with Promises
– Succinct
promises and async/await
async function loadMap(url: string): Promise<void> {
const response = await fetch(url);
const map = await response.text();
// ...
}

coroutines
– Kotlin’s more general coroutines are better
– Works with other patterns than simply async
– In KotlinJS, it works easily with Promises
kotlin > typescript
suspend fun loadMap(url: String) {
val response = window.fetch(url).await()
val map = response.text().await()
// ...
}

coroutines
– Coroutines are more general and powerful
– They can be used with other patterns too
– With suspend functions we don’t need to “await”
kotlin > typescript
suspend fun loadMap(url: String) {
val map = client.get<String>(url)
// ...
}
Ktor Client

coroutines
– Coroutines can be applied to other patterns too
kotlin > typescript
fun infinite() = sequence {
var count = 0
while (true) {
yield(count++)
}
}

– Kotlin doesn’t have the ternary, but has more
– when for basic pattern matching
– if and when are expressions
– Unit instead of void
– Expression bodied functions
– This creates more symmetry in code
expressions
kotlin > typescript

typescript
chained ternaries
const App: FC = () => {
// ...
return (
<div>
// ...
{gameState === GameState.Start ? <StartScreen/> :
gameState === GameState.Playing ? <PlayingGame/> :
gameState === GameState.Dead ? <DeathScreen/> :
gameState === GameState.Win ? <WinScreen/> :
null}
</div>
);
};

kotlin
when expression
val App = FC {
// ...
div {
// ...
when (gameState) {
GameState.Start -> StartScreen()
GameState.Playing -> PlayingScreen()
GameState.Win -> WinScreen()
GameState.Dead -> EndScreen()
}
}
}

– Both languages support object destructuring
– Within blocks and in lambda parameters
– However, Kotlin’s is limited
– Supported via componentN methods
– Fixed order to properties extracted
– Data classes do this automatically
destructuring
typescript > kotlin

const {value, color} = brick;
const {value, location} = brick;
Arbitrary properties extracted
export const Brick: FC<Props> = ({index}) => {
}
Destructuring on parameters
const [first, ...remaining] = bricks;
Array destructuring

they’re both very good
but in different ways

Community
Coroutines
JSX vs React DSL
Multiplatform
Advanced Type System
Extensions
Interop with JS
Expressions
Destructuring
Standard Library
Tooling
Functions

– Union Types with ‘|’ syntax
– Improvements to Sealed Types
– Extended Operator Overloading
– Name based Destructuring
– Collection Literals
– Structure Literals (Tuples?)
game changer 1
potential new language features

– Brings Google’s UI Toolkit to web
– In theory, enables reuse of UI code across stack
game changer 2
compose for web
https://compose-web.ui.pages.jetbrains.team/
Div(attrs = attrs) {
Label {
Input(
type = InputType.Checkbox,
attrs = {}
)
Span {
content()
}}}

A TypeScript Fans KotlinJS Adventures

Recommended

More Related Content

Similar to A TypeScript Fans KotlinJS Adventures (20)

More from Garth Gilmour (20)

Recently uploaded (20)

A TypeScript Fans KotlinJS Adventures

Editor's Notes