Type-Safe Web with Kotlin

Posted on March 19, 2018

Type-Safe Web with Kotlin
Web programming is somewhat strange: the core languages (HTML and CSS) have no means of reuse, so we have to use server-side templates and preprocessors such as LESS/SASS to compensate. On top of that, although even very basic Web applications use quite a few different technologies (think HTML/CSS/JS/Java/JSP), there are no means of making sure they fit properly together. Maybe this link is broken, maybe that style is not defined, and so on. Being a general-purpose language, Kotlin (kotlin.jetbrains.org) has no built-in support for Web programming, but you can build a Web framework in it that incorporates everything from routing to markup and client scripting in a type-safe, reusable way. In this session, you can learn how.

Author:
Andrey Breslav
Andrey is the lead language designer for Project Kotlin, he joined the JetBrains team in 2010.
View more trainings by Andrey Breslav at https://www.parleys.com/author/andrey-breslav

Find more related tutorials at https://www.parleys.com/category/developer-training-tutorials

JavaScript SpeechSynthesis API November 20, 2025
As the web continues to be the medium for all users, standards bodies need to continue to provide new APIs to enrich user experience and accessibility. One underused API for unsighted users is speechSynthesis, an API to programmatically direct the browser to audibly speak any arbitrary string. The Code You can direct the browser to […]
Fix “This video format is not supported” on YouTube TV November 17, 2025
Setting up a new computer is bliss — no old, unused apps and the machine performs much better than the previous. Unfortunately, you may encounter new problems based on the new hardware. One such issue I encountered with my new MacBook was a “This video format is not supported” message when I went to YouTube […]
Easy way to upload, transform and deliver files and images (Sponsored) March 24, 2025
Managing media is a really difficult task if you try to do all of it yourself, especially if the media comes from other sources. The file can be submitted in any state and size, but what if you need something really specific? You can code it all yourself or you can use an awesome service […]
How to Download a YouTube Video or Channel September 4, 2024
The ability to download media on the internet almost feels like a lost art. When I was in my teens, piracy of mp3s, movies, and just about everything else via torrents and apps like Kazaa, LimeWire, Napster, etc. was in full swing. These days sites use blob URLs and other means to prevent downloads. Luckily […]
How to Add a Header to a curl Request August 3, 2024
curl is one of those great utilities that’s been around seemingly forever and has endless use cases. These days I find myself using curl to batch download files and test APIs. Sometimes my testing leads me to using different HTTP headers in my requests. To add a header to a curl request, use the -H […]
Case Insensitive CSS Attribute Selector June 19, 2024
CSS selectors never cease to amaze me in how powerful they can be in matching complex patterns. Most of that flexibility is in parent/child/sibling relationships, very seldomly in value matching. Consider my surprise when I learned that CSS allows matching attribute values regardless off case! Adding a {space}i to the attribute selector brackets will make […]
How to Set Date Time from Mac Command Line June 17, 2024
Working on a web extension that ships to an app store and isn’t immediately modifiable, like a website, can be difficult. Since you cannot immediately deploy updates, you sometimes need to bake in hardcoded date-based logic. Testing future dates can be difficult if you don’t know how to quickly change the date on your local […]
How to Retrieve WiFi Password on Windows May 13, 2024
Remembering the WiFi password when on a guest network is never easy. Even worse is when it’s no longer posted and someone else is asking you for it. Luckily there’s a built in Windows command to recover the password of a given WiFi network. The Shell Code Open cmd and execute the following command: netsh […]
How to Fix: Windows WASD Keys Reversed with Arrow Keys May 2, 2024
This past weekend I had the opportunity to be what every father wants, if only for a moment: the “cool dad”. My wife was out of town and my youngest son wanted to play PUBG. I caved in, taught him the basic FPS key binds, and he was having a great time. While he was […]
HTML popover Attribute April 15, 2024
Modals have been an important part of websites for two decades. Stacking contents and using fetch to accomplish tasks are a great way to improve UX on both desktop and mobile. Unfortunately most developers don’t know that the HTML and JavaScript specs have implemented a native modal system via the popover attribute — let’s check […]