Union types (aka sum types, variants, choice types) provide an elegant solution for frequent programming tasks.

A quick code solution of how to make HTTP requests through a proxy with Java

In Java, method overloading and method overriding are two essential concepts that often create confusion among developers. This article will break down these concepts, provide clear examples, demonstrate code in action, and explain the differences between them.

Create custom nanorc file for JSP in nano to enhance syntax highlighting and readability, along with basic autocomplete

This is part 1 in a series of articles about designing a practical type system.

This is a more in-depth tutorial on integrating Lucene search and index engine in Java applications.

In Java, Synchronized and Concurrent are two fundamental concepts in multithreading

In Java, resource management is a crucial aspect of writing efficient and error-free code. Two common approaches to handling resources and exceptions are the traditional try-catch-finally block and the more modern try-with-resource statement.

Goals and non-goals, history, core types and features that shouldn't be supported in a PTS.

Eradicating empty strings (and empty collections) increases software reliability and leads to other advantages.