Coeffect
manifold
Coeffect | manifold | |
---|---|---|
7 | 79 | |
14 | 2,238 | |
- | 2.5% | |
0.0 | 9.3 | |
almost 2 years ago | 8 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.
Coeffect
-
How to create annotatino to restrict use of functions, similarly to `@Compose`
I created this exact plugin for Java (currently it is not ready for production because it uses preview features for Java's concurrency): https://github.com/Holo314/Coeffect
-
“Don’t listen to language designers”
I implemented a Coeffect system into Java, and encounter a problem with the 4th type system of Java (yes, there are 4 separate type systems in Java), the annotations type system. For the exact problem see this section. There are walk arounds, but they boil down to implement generics on the annotation level, which is a huge amount of work and I didn't have the time to implement it yet (and it doesn't help that ExtentValues weren't on the main branch when I made it, and they are still incubator now, with a different name)
-
Indentation limbo
I am not really active on public domain (all of my work is on private domain), but See this for example.
-
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
-
Better Java logging, inspired by Clojure and Rust
For Coeffects there is much less available material and most of it is much more mathematical heavy, but you can try to read about it here. I'll also have a shameless plug of my Java plugin that adds implicit parameter Coeffect into Java's type system
-
Adding Coeffect System to Java with Project Loom
Using the fact that ExtentLocals have a structured lifetime, I created a Coeffect Type System using Java Compiler Plugin. I would love some feedback
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?
PipelinR - PipelinR is a lightweight command processing pipeline ❍ ⇢ ❍ ⇢ ❍ for your Java awesome app.
Lombok - Very spicy additions to the Java programming language.
graphql-java - GraphQL Java implementation
Kotlin-Compiler-Crash-Course - A repository of helpful sources to figure out what the Kotlin compiler really is
java-oo - Java Operator Overloading
create-rust-app - Set up a modern rust+react web app by running one command.
factor - Factor programming language
nanoserde - Serialisation library with zero dependencies
better-strings - Java String Interpolation Plugin
pfr - std::tuple like methods for user defined types without any macro or boilerplate code
HyBlockUtils - An Android App containing a collection of useful tools for Hypixel SkyBlock
makepad - Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl