Type Strength vs Type Anemia: a Missing Dimension in Static Typing

Type Systems Java Kotlin Scala Haskell AI

A Missing Dimension in Typing

Besides statically typed, dynamically typed, or untyped languages, there is another important dimension. A language can be statically typed read more...

Expression Problem in Java using Tagless Final. Part 2

Java Functional Programming Tagless Final Expression Problem

Practice: constructing FsObject kinds inside the programs

In the previous part, we instantiated the FsObject kinds with the new keyword directly and read more...

Expression Problem in Java using Tagless Final. Part 1

Java Functional Programming Tagless Final Expression Problem

Theory: The expression problem

The expression problem asks: how can we add new data types (kinds) and new operations on those types without modifying read more...

ViewModel in Flutter

Flutter

The term ViewModel is rather vague when applied to Flutter. Although it’s frequently mentioned in documentation and technical interviews, there’s no actual ViewModel class or read more...

Localization in JavaScript

JavaScript

I’m astonished that, even now, there is no standard way to localize JavaScript applications. The existing solutions are either too complex or difficult to use, read more...

Kotlin Iterable vs Sequence

Kotlin

Kotlin, known for its expressive syntax and pragmatic approach, has an intriguing detail in its collections framework—both Iterable and Sequence exist as interfaces for iterating read more...

Job readiness

Job

Preferences

I prefer project-based work, where the goals and completion criteria are clearly defined, along with specific timelines and budgets. Alternatively, I am open read more...