InfoQ Homepage JVM Languages Content on InfoQ
-
Kotlin is *Way* More Than Just Android
Justin Lee goes over a number of frameworks and libraries available for Kotlin development and not once have to touch the Android emulator.
-
Differentiable Programming in Kotlin
Irene Dea discusses how Facebook is using Kotlin, developing a new differentiable programming framework for it.
-
A Love Letter to Clojure
Gene Kim discusses his endeavour as a developer through Clojure.
-
Introduction to Kotlin's Coroutines and Reactive Streams
Krystian Rybarczyk looks into coroutines and sees how they facilitate asynchronous programming, discussing flows and how they make writing reactive code simpler.
-
Elixir vs Scala
Ludwik Bukowski and Kacper Mentel compare the results of a pattern recognition app implemented in Elixir and Scala.
-
Proving Algebraic Laws in Scala Using Stainless
Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.
-
Understand the Trade-offs of Using Compilers for Java Applications
Mark Stoodley examines some of the strengths and weaknesses of the different Java compilation technologies, if one was to apply them in isolation.
-
Better Than BASH: Scripting Kotlin
Oliver Hughes takes a look at some examples of using Kotlin for real-world scripting and automation tasks.
-
Write Less Code with Kotlin and Spring Boot
Todd Ginsberg presents the basics of Kotlin and the features that make it compelling.
-
The State of Kotlin Support in Spring
Sébastien Deleuze overviews development with Spring Boot 2.2 and Kotlin, and performs a live coding of a Spring Boot application configured with the Kofu, the Kotlin DSL.
-
Functional Composition
Chris Ford shows how to make music starting with the basic building block of sound, the sine wave, and gradually accumulates abstractions culminating in a canon by Johann Sebastian Bach.
-
Corda: Looking Forward and Back, Blockchain on a JVM Stack
Carolyne Quinn and Mike Ward discuss Corda, an open source enterprise blockchain, and look at technologies used: Kotlin, JVMs, pluggable consensus, Corda Foundation and SGX,.