Practical Pluggable Types for Java
Users found the checker implementations clear to read and write.
Some unrelated bits:
Application server in Java v.s. Docker
Java application server: * Mutate code at runtime * Then the rolling upgrade of new versions of containers is done outside of the application server itself (e.g. via rolling upgrades in kubernetes and using a load balancer in front of the containers). * Docker: better reproducibility * Docker replied on the service discovery ability
services that Java application servers provide (e.g. servlet engine, dependency injection, transactions, messaging and so forth). However you don’t need to dynamically drop deployment units into a running application server JVM for that; e.g. you can easily embed a servlet engine into a Java application