GUI Transactions with the FRP Framework Sodium
Sodium is an implementation of Functional Reactive programming (FRP) with some nice features. One of these is the support of transactions in the GUI layer. I had quite some discussions with my...
View ArticleBounded Functional Loops in Kotlin
Loops are a basic paradigm in imperative programming languages. In functional languages you also need to loop, but you do it differently. Here, I present how I prefer to implement loops in a...
View ArticleUnbounded Functional Loops in Kotlin
This article is a follow-up to this previous article about bounded loops. Bounded loops are cool because they always terminate and usually it is pretty easy to estimate the computational time. But as...
View ArticleCo- and Contravariance in Kotlin From an Introductionary Domain Level...
Covariance and contravariance are properties of type systems of programming languages. They can be pretty intimidating words for a software developer who just wants to implement user requirements. In...
View ArticleYes, Rust has Garbage Collection, and a Fast One
Rust is getting more and more popular. Thus, a group of colleagues, including myself, evaluated it for half a day to build up our own opinion, if Rust is of strategic interest for us or not. We did...
View ArticleKotlin/JVM, Rust, and Randy Random
In this previous article I implemented a small, enterprisy benchmark to compare the concept of garbage collection used by Kotlin/JVM with the concept of Rust, which claims to not have any garbage...
View ArticleHaskell is Faster than Rust! … Wait a Sec!
To evaluate the impact of memory management in Rust, I implemented a short benchmark in Rust and Kotlin. You can find all the details here and here. Measurements showed that Rust is roughly a factor...
View ArticleUntyped Typescript or Error Prone Covariance
Some time ago I wrote this short article about co- and controvariance in Kotlin and how these features help the developer to write less error prone code. When I talked with some colleagues about...
View ArticleAn Introduction to Functional Programming with Kotlin
At the last BOB-conference I gave a tutorial about functional programming (fp) with Kotlin. I approached the topic starting from the basic properties of fp and how this can be done using Kotlin. Then,...
View ArticleISO/IEC 25010 – News from the 2nd Edition (2023-11)
The ISO/IEC 25010 defines a product quality model for software systems. After 12 years the new second edition (2023-11) is published. Let us have a look at the changes. A Quality Model – What For? The...
View Article
More Pages to Explore .....