NullAway
javalin
NullAway | javalin | |
---|---|---|
21 | 23 | |
3,530 | 5,583 | |
1.0% | - | |
8.9 | 9.1 | |
3 days ago | almost 2 years ago | |
Java | Kotlin | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
NullAway
-
What if null was an Object in Java?
Fortunately, Uber made tooling for languages with broken type systems
* https://github.com/uber/NullAway
* https://github.com/uber-go/nilaway
-
My Thoughts on “Bad Code”
Some patterns arise from language design
* You can't express `T` where `null` is forbidden in the type system so you get NullPointerException everywhere and defensive null checks.
* You express a sum type as a product type because your language does not have sum types .
* Your language doesn't have first class multiple return values (or tuples) so you return extra parameters via out parameters or thread local variables such as `errno`.
* Your language doesn't have exceptions (or algebraic effects) and can't do IO so you have monad transformers.
* Your language doesn't have set-theoretic types so you need hacks like `thiserror` .
* Your language doesn't have stackful coroutines or can't infer async IO for you so you have `async/await` spam or callback hell or "mono's".
* Your language doesn't have exhaustive checks (or pattern matching) so you need a fallthrough case check on switch statements .
* Your language doesn't have algebraic effects, so you need to pass context everywhere.
I know someone will reply about Java's null annotation checking options, so here is one of them: https://github.com/uber/NullAway .
-
Will Project Valhalla bring Kotlin-like nulls to Java?
If you must use Java, use Uber's Nullaway which gives null safety via Errorprone.
-
Retrofitting null-safety onto Java at Meta
Does anyone have experience using this at Meta who can compare to https://github.com/uber/NullAway ?
-
How to use Java Records
A special kind of validation is enforcing that record fields are not null. (Un)fortunately, records do not have any special behavior regarding nullability. You can use tools like NullAway or Error Prone to prevent null in your code in general, or you can add checks to your records:
- Backend Java 19 vs Kotlin?
-
What does the future hold for Project Amber?
What do you think of https://github.com/uber/NullAway
-
Plans for Compile-time Null Pointer Safety?
Take a look at NullAway, a plugin for Error Prone.
-
Ask HN: What is a modern Java environment?
PMD, Spotbugs, Nullaway: Java linting/static analysis (https://pmd.github.io, https://spotbugs.github.io, https://github.com/uber/NullAway)
- Nullaway fully supports switch expressions without issues now in 0.9.5
javalin
-
Looking for maintainer for jvm-brotli
If you've read this far, you might be interested to know that Javalin has been offering Brotli compression through jvm-brotli for three years already, and that there have been no (reported) issues. In other words, the effort required to release and maintain this is probably not huge.
- Using "equivalents" in other languages to help learn
-
Question about Kotlin from an ex-Java developer
I'm a big fan of Ktor (ktor.io) but another reasonable lightweight alternative is Javelin (https://javalin.io/). Heck even Spring Boot isn't that bad. HikariCP + JooQ (has both java and kotlin codegen) for DB access if you need and you're good to go.
-
Turbo: The speed of a SPA without writing JavaScript
A similar alternative that does not rely on web sockets is https://htmx.org. I have greatly enjoyed using it with some simpler web frameworks like https://javalin.io to do some prototyping and smaller projects. I'm sure if someone made a plug and play UI library like material UI for Angular on top of htmx you could absolutely fly through MVPs.
- Does Java has an equivalent to Django/Laravel/Node
-
Java Equivalent of Express.js for REST
Javalin
-
Java Servlets
If you're already familiar with most of the concepts around HTTP and web services, I'd recommend using something like https://javalin.io/ which is light weight frame work that makes getting something up and running quickly a very easy task.
-
Why people don't love Java?
I've been looking at https://javalin.io/ Seems close enough to express and some big names are using it, so I wouldn't say it's fizzling out
-
Is there Expressjs like framework for java
Javalin (https://javalin.io) is strongly inspired by Express and Koa, so you should feel right at home:
-
There is no magic in Spring, I wrote my own (very simplified) framework from scratch to show it
If you want to do a proper comparison between the two, I would be happy to help with code examples from Javalin's side. I could even host it on https://javalin.io as a "Comparison to Jooby" blog post.
What are some alternatives?
SonarQube - Continuous Inspection
ktor - Framework for quickly creating connected applications in Kotlin with minimal effort
Error Prone - Catch common Java mistakes as compile-time errors
Spring Boot - Spring Boot
infer - A static analyzer for Java, C, C++, and Objective-C
Vert.x - Vert.x is a tool-kit for building reactive applications on the JVM
Spotbugs - SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
Quarkus - Quarkus: Supersonic Subatomic Java.
FindBugs - The new home of the FindBugs project
http4k - The Functional toolkit for Kotlin HTTP applications. http4k provides a simple and uniform way to serve, consume, and test HTTP services.
Checkstyle - Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
Jooby - The modular web framework for Java and Kotlin