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…)
Read 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…)
Read more »
Java sucks, a lot. Here are specific and highly relevant reasons why.
Read more »
Java started its journey with the slogan: Write once, run anywhere. But now, It’s JavaScript — not you, Java. (more…)
Read 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…)
Read more »