Error Prone
manifold
Our great sponsors
Error Prone | manifold | |
---|---|---|
16 | 79 | |
6,716 | 2,209 | |
0.6% | 4.0% | |
9.4 | 9.3 | |
7 days ago | 20 days ago | |
Java | Java | |
Apache License 2.0 | 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.
Error Prone
-
Any library you would like to recommend to others as it helps you a lot? For me, mapstruct is one of them. Hopefully I would hear some other nice libraries I never try.
error-prone is good for some extra static analysis.
-
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:
- Prusti: Static Analyzer for Rust
-
Why is `suspend` a language keyword, but @Composable and @Serializable are annotations
I am all in favour to more third side libraries adding functionalities, like Lombok, Manifold and error prone. As well as smaller projects like this shameless plug and what appears in this list
-
Picnic loves Error Prone: producing high-quality and consistent Java code
If only Google didn't suck when it came to Java9+ support... https://github.com/google/error-prone/issues/2649
-
What does the future hold for Project Amber?
I haven't used it. I use Google's ErrorProne + Lombok to prevent NPEs in java.
-
Plans for Compile-time Null Pointer Safety?
Take a look at NullAway, a plugin for Error Prone.
-
What I miss in Java, the perspective of a Kotlin developer
For some of this stuff, there are compiler extensions that allow extra type checking to be added e.g. Google Error-Prone: https://github.com/google/error-prone with stuff like: https://errorprone.info/bugpattern/ReturnMissingNullable.
Doesn't help you with third party libraries, but across an org applying that rule (and others!) typically ensures some consistency.
-
A guide on how to improve your coding skills with static code analysis.
How to build a static analysis plugin. Google has a framework for Java with a good tutorial.
- Error Prone 2.11.0 Released. Requires JDK11+
manifold
- Show HN: Ditch your ORM with type-safe native SQL
- Show HN: Traits for Java via True Delegation
- Show HN: Automatic Type-Safe CSV
- Show HN: Htmx with ManTL Templates
- Type-safely embed SQL directly into Java
-
Universal Domain Types
Considering the Amount domain types, I like the manifold project’s unit expression[1] approach where the unit and domain type are integrated and always reconciled.
1. https://github.com/manifold-systems/manifold/tree/master/man...
-
Javalin – a simple web framework for Java and Kotlin
> I am glad to see a project that provides a robust and elegant API for building rest services in Java.
Alternatives for _consuming_ REST services is perhaps an equally interesting proposition, particularly since there are potentially potentially many consumers per service e.g., the manifold JSON project[1].
Other areas where Springboot feels overbearing include JPA/ORM support. In my view this is its greatest weakness, but like the "no one ever got fired for buying IBM" cliche, the same can be said today about Springboot.
1. https://github.com/manifold-systems/manifold/blob/master/man...
- Show HN: I made Java look better than it deserves
- True Delegation vs. Forwarding
What are some alternatives?
Spotbugs - SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
Lombok - Very spicy additions to the Java programming language.
SonarQube - Continuous Inspection
graphql-java - GraphQL Java implementation
PMD - An extensible multilanguage static code analyzer.
Kotlin-Compiler-Crash-Course - A repository of helpful sources to figure out what the Kotlin compiler really is
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.
java-oo - Java Operator Overloading
FindBugs - The new home of the FindBugs project
create-rust-app - Set up a modern rust+react web app by running one command.
infer - A static analyzer for Java, C, C++, and Objective-C
factor - Factor programming language