Java's type system mostly relies on type checking augmented with local type inference to improve programmer convenience. We study global type inference for Featherweight Generic Java (FGJ), a functional Java core language. Given generic class headers and ... (more…)

This blog post is a reminder that you should make sure that all your builds in the Java ecosystem access the artifact repositories (e.g. Maven Central) via HTTPS instead of HTTP. This often just means replacing the ‘http:’ in repository URLs with ‘https:’... (more…)

Java sucks, a lot. Here are specific and highly relevant reasons why.

Java started its journey with the slogan: Write once, run anywhere. But now, It’s JavaScript — not you, Java. (more…)

Before we can talk about where generics are going, we first have to talk about where they are, and how they got there. This document will focus primarily on how we arrived at the generics we have now, and why, as a means of setting the groundwork for how ... (more…)