Refined types in Java Using Java means embracing the philosophy of strongly typed languages; unfortunately, when looking at the Java source code of many projects, we see that the compiler is underutilized, leading to numerous checks and, consequently, multiple sources of errors. Haskell and ML have introduced the concept of refined types, where predicates are used to ensure data consistency. The Scala language offers several features related to refined types through macros and metaprogramming. Does Java offer nothing? As usual, the ecosystem is full of surprises and initiatives, and offers us two projects claiming to be part of this refined types movement. LiquidJava and its VS Code extension, which still seems active with a very recent but problematic version (unresolved dependency on a parent). A second option using java-refined, available here: https://lnkd.in/eE4msvah, allows you to streamline and clarify your code with predefined types (over 2,000 provided) that are valid at runtime (since macros aren’t supported in the Java world). My next article will introduce this library before tackling the more complex Higher-Kinded Types. As usual see you soon and happy coding Jerome #Java #RefinedTypes #TypeSystem #quality
jerome moliere’s Post
More Relevant Posts
-
Just shipped my first open-source Java library : llm4j-schema If you're integrating LLMs (ChatGPT, Claude) into Java or Spring Boot apps, you know the pain: the model returns raw text, you parse it manually, hope the JSON is valid, add retry logic... llm4j-schema solves this. Define a Java Record, get a typed object back: @LLMSchema public record ProductReview( String productName, int rating, String summary ) {} ProductReview review = extractor.extract(ProductReview.class, userText); - Type-safe Java objects from any LLM - Spring Boot starter, 2 min setup - Auto-retry on parse failure - OpenAI + Anthropic support - Available on Maven Central The Java ecosystem is way behind Python when it comes to AI tooling. This is my contribution to close that gap. GitHub: https://lnkd.in/e37jtdut If you find it useful, a Star on the repo goes a long way, it helps other Java developers discover the project! Would love to hear from Java devs, what's your biggest pain point when integrating LLMs in your stack? #Java #OpenSource #AI #SpringBoot #LLM #Developer
To view or add a comment, sign in
-
Today, I have come across to explore Java, one concept that really caught my attention is the Stream API. While learning, I noticed how traditional loops can sometimes make code lengthy and harder to read—especially when performing operations like filtering, mapping, or aggregation. The Stream API, introduced in Java 8, provides a more declarative and clean way to work with collections of data. What I understood about Stream API: A Stream represents a sequence of elements that can be processed using functional-style operations. It allows us to express what we want to do rather than how to do it. Why I find it useful: It makes code more readable and concise, improves maintainability, and encourages a functional programming approach. Streams also help in writing expressive logic with less boilerplate code. Key concepts I explored: Creating Streams: collection.stream() collection.parallelStream() Stream.of(...) Intermediate operations: (lazy execution) filter() map() flatMap() distinct() sorted() Terminal operations: (trigger execution) forEach() collect() reduce() count() findFirst() Example I tried: List<String> names = List.of("Java", "Python", "JavaScript"); List<String> result = names.stream() .filter(name -> name.startsWith("J")) .map My takeaway: The Stream API is not just about shorter code—it’s about clearer intent. It helps write cleaner, more expressive logic while reducing unnecessary complexity. I’m still exploring its advanced features, but it already feels like a powerful tool for modern Java development. #Java #StreamAPI #Java8
To view or add a comment, sign in
-
🚀 Java 25 is bringing some seriously exciting improvements I’ve published a blog post where I break down the key features you should know about in Java 25👇 🔍 Here’s a quick preview of what’s inside: 🧩 Primitive Types in Patterns (JEP 507) Pattern matching gets even more powerful by supporting primitive types - making your code more expressive and reducing boilerplate. 📦 Module Import Declarations (JEP 511) Simplifies module usage with cleaner import syntax, helping you write more readable and maintainable modular applications. ⚡ Compact Source Files & Instance Main (JEP 512) A big win for simplicity! You can write shorter programs without the usual ceremony - perfect for beginners and quick scripts. 🛠️ Flexible Constructor Bodies (JEP 513) Constructors become more flexible, giving developers better control over initialization logic and improving code clarity. 🔒 Scoped Values (JEP 506) A modern alternative to thread-local variables, designed for safer and more efficient data sharing in concurrent applications. 🧱 Stable Values (JEP 502) Helps manage immutable data more efficiently, improving performance and reliability in multi-threaded environments. 🧠 Compact Object Headers (JEP 519) Optimizes memory usage by reducing object header size - a huge benefit for high-performance and memory-sensitive applications. 🚄 Vector API (JEP 508) Enables developers to leverage modern CPU instructions for parallel computations - boosting performance for data-heavy workloads. 💡 Whether you're focused on performance, cleaner syntax, or modern concurrency, Java 25 delivers meaningful improvements across the board. 👇 Curious to learn more? Check the link of full article in my comment. #Java #Java25 #SoftwareDevelopment #Programming #Developers #Tech #JVM #Coding #Performance #Concurrency
To view or add a comment, sign in
-
-
📈 Does Java really use too much memory? It’s a common myth but modern Java tells a different story. With improvements like: ✔️ Low-latency garbage collectors (ZGC, Shenandoah) ✔️ Lightweight virtual threads (Project Loom) ✔️ Compact object headers (JEP 450) ✔️ Container-aware JVM & Class Data Sharing Java today is far more memory efficient, scalable and optimized than before. 💡 The real issue often isn’t Java it’s: • Unbounded caches • Poor object design • Memory leaks • Holding unnecessary references 👉 In short: Java isn’t memory hungry it’s memory aware. If your app is consuming too much RAM, start profiling your code before blaming the JVM. #Java #BackendDevelopment #Performance #JVM #SoftwareEngineering
To view or add a comment, sign in
-
-
💡 What I Learned About Java Interfaces (OOP Concept) I explored Interfaces in Java, and realized that they are not just about rules — they play a key role in achieving abstraction, flexibility, and clean design in applications. 🔹 Interfaces & Inheritance Interfaces are closely related to inheritance, where classes implement interfaces to follow a common structure. 🔹 Abstraction Interfaces enable abstraction. Before Java 8, they supported 100% abstraction, but now they can also include additional method types. 🔹 Polymorphism & Loose Coupling Interface references can point to different objects → making code more flexible, scalable, and maintainable. 🔹 Multiple Inheritance Java supports multiple inheritance through interfaces, allowing a class to implement multiple interfaces. 🔹 Functional Interface A functional interface contains only one abstract method. It can be implemented using: 1️⃣ Regular class 2️⃣ Inner class 3️⃣ Anonymous class 4️⃣ Lambda expression 🔹 Java 8 Enhancements Interfaces became more powerful with: ✔️ default methods (with implementation) ✔️ static methods ✔️ private methods ✔️ private static methods 🔹 Variables in Interface All variables are implicitly public static final (constants). 🔹 No Object Creation Interfaces cannot be instantiated, but reference variables can be created. 🚀 Conclusion: Interfaces are a core part of Java OOP that help build scalable, maintainable, and loosely coupled systems. #Java #OOPS #Interfaces #Programming #Learning #Java8 #Coding
To view or add a comment, sign in
-
-
A Simple Way to Understand JDK, JRE, and JVM When I started learning Java, the terms JDK, JRE, and JVM sounded confusing. But once I understood how they work together, everything became clear. Think of Java like building and running a program in three steps. 🔧 JDK (Java Development Kit) – The developer's toolbox It contains tools needed to write and compile Java programs, such as the "javac" compiler. ⚙️ JRE (Java Runtime Environment) – The environment to run Java programs It includes libraries and the JVM, which are required to execute Java applications. 🧠 JVM (Java Virtual Machine) – The engine that runs Java code It executes the bytecode and makes Java platform-independent. 📌 How it actually works "Hello.java" compiled by "javac" "Hello.class" (bytecode) executed by JVM Example: public class HelloWorld { public static void main(String[] args) { System.out.println("Hello, Java!"); } } You write the code once, compile it using the JDK, and the JVM runs it on any system with Java installed. That’s why Java follows the principle: Write Once, Run Anywhere. Learning how Java works internally makes programming even more interesting. 🚀 #Java #Programming #JDK #JRE #JVM #SoftwareDevelopment #LearningInPublic
To view or add a comment, sign in
-
-
Is your Java knowledge still stuck in 2014? ☕ Java has evolved massively from version 8 to 21. If you aren't using these modern features, you’re likely writing more boilerplate code than you need to. I’ve been diving into the "Modern Java" era, and here is a quick roadmap of the game-changers: 🔹 Java 8 (The Foundation) 1. Lambda Expressions 2. Stream API 3. Optional 🔹 Java 11 (The Cleanup) 1.New String Methods – isBlank() and repeat() are life-savers. 2.HTTP Client – Finally, a modern, native way to handle REST calls. 3.Var in Lambdas – Cleaner syntax for your functional code 🔹 Java 17 (The Architect's Favorite) 1.Records – One-line immutable data classes. No more boilerplate! 2.Sealed Classes – Take back control of your inheritance hierarchy. 3.Text Blocks – Writing SQL or JSON in Java is no longer a nightmare. 🔹 Java 21 (The Performance King) 1.Virtual Threads – High-scale concurrency with zero overhead. 2.Pattern Matching – Use switch like a pro with type-based logic. 3.Sequenced Collections – Finally, a standard way to get first() and last(). Java isn't "old"—it's faster, more concise, and more powerful than ever. If you're still on 8 or 11, it’s time to explore what 17 and 21 have to offer. #Java #SoftwareEngineering #Backend #Coding #ProgrammingTips #Java21
To view or add a comment, sign in
-
Java Annotated Monthly is here 🔥 This edition brings you 👩🏻💻 Marit van Dijk highlights on Java 26, along with fresh tips, insights, and must-know news from across the tech world. Catch up 👇 https://jb.gg/36tjdw
To view or add a comment, sign in
-
♻️ Ever wondered how Java manages memory automatically? Java uses Garbage Collection (GC) to clean up unused objects — so developers don’t have to manually manage memory. Here’s the core idea in simple terms 👇 🧠 Java works on reachability It starts from GC Roots: • Variables in use • Static data • Running threads Then checks: ✅ Reachable → stays in memory ❌ Not reachable → gets removed 💡 Even objects referencing each other can be cleaned if nothing is using them. 🔍 Different types of Garbage Collectors in Java: 1️⃣ Serial GC • Single-threaded • Best for small applications 2️⃣ Parallel GC • Uses multiple threads • Focuses on high throughput 3️⃣ CMS (Concurrent Mark Sweep) • Runs alongside application • Reduces pause time (now deprecated) 4️⃣ G1 (Garbage First) • Splits heap into regions • Balanced performance + low pause time 5️⃣ ZGC • Ultra-low latency GC • Designed for large-scale applications ⚠️ One important thing: If an object is still referenced (even accidentally), it won’t be cleaned → which can lead to memory issues. 📌 In short: Java automatically removes unused objects by checking whether they are still reachable — using different GC strategies optimized for performance and latency. #Java #Programming #JVM #GarbageCollection #SoftwareDevelopment #TechConcepts
To view or add a comment, sign in
-
-
Building LLM apps in Java is no longer experimental. It’s about doing it right. I put together a practical guide using LangChain4j, focusing on real concerns beyond demos: 👉 https://lnkd.in/eU_3mpS6 RAG quality, observability, and failure handling matter far more than prompt tricks.
To view or add a comment, sign in
More from this author
Explore content categories
- Career
- Productivity
- Finance
- Soft Skills & Emotional Intelligence
- Project Management
- Education
- Technology
- Leadership
- Ecommerce
- User Experience
- Recruitment & HR
- Customer Experience
- Real Estate
- Marketing
- Sales
- Retail & Merchandising
- Science
- Supply Chain Management
- Future Of Work
- Consulting
- Writing
- Economics
- Artificial Intelligence
- Employee Experience
- Workplace Trends
- Fundraising
- Networking
- Corporate Social Responsibility
- Negotiation
- Communication
- Engineering
- Hospitality & Tourism
- Business Strategy
- Change Management
- Organizational Culture
- Design
- Innovation
- Event Planning
- Training & Development