#ObjectOrientedProgramming — Bluesky Posts

Researchers Revisit Codata, Dependent Types, and the Limits of the Expression Problem

1 week ago

A deep dive into codata, dependent types, and defunctionalization—reframing the expression problem through data–codata duality. #objectorientedprogramming

0 0 0 0

Rethinking Data and Codata Through Matrix Transposition

1 week ago

A formal study shows de- and refunctionalization preserve typing and program well-formedness in a dependently typed language. #objectorientedprogramming

1 0 0 0

A Formal Core for Dependent Data and Codata with Type Soundness Guarantees

1 week ago

A formal core calculus for dependent data and codata with pattern matching, copatterns, call-by-value semantics, and type soundness proofs. #objectorientedprogramming

1 0 0 0

Why Judgmental Equality Fails Under Defunctionalization

1 week ago

Exploring how defunctionalization breaks judgmental and eta equality—and the naming-based solution that preserves type safety. #objectorientedprogramming

0 0 0 0

The Proof Expression Problem, Reimagined Through Object-Oriented Lenses

1 week ago

A case study showing how dependently typed OOP enables modular web servers, extensible routes, and type-level enforcement of HTTP properties. #objectorientedprogramming

0 0 0 0

Rethinking OOP Through Dependent Types and Codata

1 week ago

A deep dive into dependently typed object-oriented programming, codata design, self-parameters, and verified interfaces. #objectorientedprogramming

0 0 0 0

Deriving Dependently-Typed OOP from First Principles

1 week ago

A new calculus unifies functional and object-oriented paradigms in dependently typed languages using duality and defunctionalization. #objectorientedprogramming

0 0 0 0

ProgrammerHumor.io

@programmerhumor-io.bsky.social

2 months ago

Typical Child In The Life Of A Programmer

Typical Child In The Life Of A Programmer

#python #Objectorientedprogramming #Inheritance #Classes #Helloworld

programmerhumor.io/python-memes/typical-chi...

1 0 1 0

@techz.bsky.social

2 months ago

The Definitive Roadmap: How to Become a Java Developer in 2026 Technologiesinternetz provides you news articles about technology and internet

technologiesinternetz.blogspot.com/2025/12/the-...

The Definitive Roadmap: How to Become a Java Developer in 2026

#java #developer #programming #objectorientedprogramming #oop

2 1 0 0

Iiridayn

@iiridayn.info

3 months ago

"A screwdriver may work as a hammer but it makes a lousy saw." #CognitiveBias
en.wikipedia.org/wiki/Law_of_...

Wrote that while pondering #SoftwareArchitecture frustrations caused by programmers trained primarily in #ObjectOrientedProgramming #OOP paradigms.

Tools DO generalize, but only so far.

1 0 0 0

Understanding Dependency Injection in Object-Oriented Programming

4 months ago

Explore how OOP handles dependencies—from constructor injection to Kotlin’s new context parameters—and learn which approach fits your code best. #objectorientedprogramming

0 0 0 0

Fazzaro

@jonfazzaro.bsky.social

5 months ago

Objects Are Dead, Long Live Feature Slices Why I stopped chasing reuse and started writing domain logic around decisions, not abstractions.

"A rule is only meaningful in a specific flow. When you abstract it too early, you lose that meaning and invite bugs the moment someone 'reuses' it i..."

buff.ly/5PUGDex #softwareengineering #developerexperience #objectorientedprogramming #code #reuse #functionalprogra…

2 0 0 0

Jay's Workspace

@jayd1os.bsky.social

6 months ago

I am gonna go ahead and experiment with different ways to make the enemy avoid obstacles, in order to see what works for my game.

#GameDev #Programming #IndieGameDev #IndieGames #VideoGames #IndieGameDevelopment #GameDevelopment
#Coding #ObjectOrientedProgramming

9 4 0 0

Object Creation: The Issues I Faced and the Patterns That Helped Me

6 months ago

In this post, I've described two usages of the GoF's creational patterns, improving maintainability and ensuring objects are fully initialized #objectorientedprogramming

0 0 0 0

Why Default or No Argument Constructor is Important in Java Class? Answer Almost all Java developers know that compiler adds a default constructor or better known as a no-argument constructor in every Java class, but many of them forget that it only does when you don't provide any other constructor. This means it becomes the developers' responsibility to add a no-argument constructor if he is adding an explicit constructor. Now, Why it's important to provide a default constructor in Java, What happens if your class doesn't have a no-argument constructor? Well, this is how it's asked in many Java interviews, most commonly as part of Spring and Hibernate interviews. --- Java, Unix, Tibco RV and FIX Protocol Tutorial

7 months ago

#corejava #objectorientedprogramming

0 0 0 0

Difference between Association, Composition and Aggregation in Java, UML and Object Oriented Programming In Object-oriented programming, one object is related to another to use functionality and service provided by that object. This relationship between two objects is known as the association in object-oriented general software design and is depicted by an arrow in Unified Modelling Language or UML. Both Composition and Aggregation are the forms of association between two objects, but there is a subtle difference between composition and aggregation, which is also reflected by their UML notation. We refer to the association between two objects as Composition when one class owns other classes and other classes can not meaningfully exist, when the owner is destroyed. --- Java, Unix, Tibco RV and FIX Protocol Tutorial

7 months ago

#corejava #design #objectorientedprogramming

0 0 0 0

Difference between Abstraction and Encapsulation in Java? OOP Question Answer Both Abstraction and Encapsulation are two of the four basic OOP concepts which allow you to model real-world things into objects so that you can implement them in your program and code. Many beginners get confused between Abstraction and Encapsulation because they both look very similar. If you ask someone what is Abstraction, he will tell that it's an OOP concept which focuses on relevant information by hiding unnecessary detail, and when you ask about Encapsulation, many will tell that it's another OOP concept which hides data from the outside world. The definitions are not wrong as both Abstraction and Encapsulation do hide something, but the key difference is on intent. --- Java, Unix, Tibco RV and FIX Protocol Tutorial

7 months ago

#corejavainterviewquestion #objectorientedprogramming

0 0 0 0

5 Benefits of using interface in Java and Object Oriented Programming Interface in Java is a simple concept but many programmers fail to realize their actual use, including me. When I started learning Java programming, I learned interface is something where you can declare functions but cannot define them. To me, they were useless at that time because there was no code to do anything. It took me years to realize how useful an interface can be. They are not intended to do things but they are actually facilitators. They provide abstraction and give the flexibility to change your program in the future. That's why it's very important for a Java programmer to understand the benefits of interfaces and realize how and when to use them in code. --- Java, Unix, Tibco RV and FIX Protocol Tutorial

7 months ago

#interface #java #objectorientedprogramming

1 1 0 0

What is the Use of Interface in Java and Object Oriented Programming? [Answer] Many times, I have seen questions like why should we use an interface in Java? If we can not define any concrete methods inside the interface the what is the user of the interface? Or even more common, What is the real use of the interface in Java? I can understand beginners asking this question when they just see the name of the method inside the interface and nothing else. It takes time to realize real goodness or actual use of interface or abstraction in Java or any object-oriented programming. One reason for this is a lack of experience in really modeling something real in the program using object-oriented analysis and design. In this article, I will try to answer this question and give you a couple of reasons to use the interface in your code. If you have a good understanding of Object-oriented basics like Polymorphism, then you know that it allows you to write flexible code. --- Java, Unix, Tibco RV and FIX Protocol Tutorial

7 months ago

#interface #java #objectorientedprogramming

1 1 0 0

Difference between Class, Instance and Local variables in Java? Example There are a lot of differences between instance variable, class variable, and local variable in Java, and knowing them will help you to write correct and bug-free Java programs. Java is a full-featured programming language and provides different kinds of variables like static variables also called Class variable since it belongs to whole Class, non-static also called instance variable and local variables which vary in scope and value. Thank god Java doesn't have any register variable or auto scope like C Programming language, otherwise it would have so much detail to remember. static variables are a common source of error in may multi-threaded java program and does require a bit of carefulness while using it. On the other hand instance, the variable and the local variable have less sharing visibility than a static variable. --- Java, Unix, Tibco RV and FIX Protocol Tutorial

7 months ago

#corejava #objectorientedprogramming

0 0 0 0

Open Closed Design Principle in Java - Benefits and Example Great Example of Open Closed Design Principle I am a big fan of design pattern articles and love to read articles on design patterns and recently wrote about decorator design pattern in Java, Observer pattern, static factory pattern and Singleton pattern. Today I come across this good article on open closed design patterns, what I like most is there example and clear way of explanation, first example is true value and it will help you understand open closed principle very quickly and second example is also not bad. --- Java, Unix, Tibco RV and FIX Protocol Tutorial

7 months ago

#corejava #objectorientedprogramming

0 0 0 0

What is Object in Java and Object Oriented Programming? Example Tutorial Object in Java Object in Java programming language or any other Object-oriented programming language like C++ is the core of the OOPS concept and that's why the name. Class and Object along with Inheritance, Polymorphism, Abstraction and Encapsulation form the basis of any Object-oriented programming language e.g. Java. Objects are instances of Class, Class defines blueprints and Objects are things that are created based upon that blueprint. Object is also known as instances in Java, e.g. When we say an instance of String class, we actually mean an Object of String class. The object has state and behavior in Java. --- Java, Unix, Tibco RV and FIX Protocol Tutorial

7 months ago

#coding #corejava #objectorientedprogramming

1 0 0 0

How to System Design Trade Position Aggregator? [Solution] Hello guys, it's been a long since I shared object-oriented design and system design questions in this blog. It was almost 7 to 8 years when I last blogged about how to solve vending machine design problems in Java and Twitter System Design question? Actually, I had ideas for lots of such design questions at that time, but because of the lengthy nature of these kinds of posts and the amount of time they take, they just sit on my list of drafts. I thought to take them out and publish then slowly improve on them instead of publishing the perfect post for the first time, and today, I am excited to share one of such problems, how to design a trade position aggregator in Java. This program is like portfolio management software that monitors your risk and exposure in real-time based on trades. --- Java, Unix, Tibco RV and FIX Protocol Tutorial

7 months ago

#bestofjavarevisited #objectorientedprogramming #SystemDesign

0 0 0 0

TechArtisan

@techartisan.mastodon.design.ap.brid.gy

8 months ago

GitHub - fx-biocoder/oop-in-cpp: A guide to learn Object-Oriented Programming, written in C++ A guide to learn Object-Oriented Programming, written in C++ - fx-biocoder/oop-in-cpp

@TechArtisan Came across this primer sa #objectorientedprogramming for #Cplusplus basin makatabang ni sa mga nag-practice pa. Open ra pud ang author for feedback, so kung kabalo na ka, feel free to suggest improvements. https://github.com/fx-biocoder/oop-in-cpp

1 0 0 0