Axiom | ISA

Generation algorithms of Object id

5-Jan-2019

The object identifier production is one of the most important thing in an OO Architecture, and even more when it is a distributed one. This post is about some key items of the Identity axiom. Its major concerns are integrity, isolation and performance.

Overview of the LL type system

25-Dec-2017

This post is some kind of tutorial on the Last Language type system. Not just a tutorial in fact, but a discussion space to challenge the ISA type architecture.

LL basics and syntax

16-Oct-2017

What are the major guidelines for LL? Simple (as Basic and PHP), Powerfull (like C++ or Smalltalk), Consistent (as OO is), Efficient (as C++ and Python), Dynamic but not messy, Seamlessly to suit to the whole software life cycle.

The State axiom – Part 4

24-Jun-2016

Here I study the Class Object state axiom in the perspective of an incorporation in ISA. What’s about the Class life cycle ? And about the Versioning, the Grouping and the Delivery ?

The State axiom – Part 3

1-Mar-2016

Third post on the object state axiom. Here I will speak about the state of the Class object and begin to define what it is. It is also question of immutability and of threaded objects.

The State axiom – Part 2

28-Dec-2015

In this second post on Object state, we will see what are Fields, Relationships, Properties and Attributes; and why and how to put them all together.

The State axiom – Part 1

18-Dec-2015

This post answers the question “What’s a State ?”. It also consider object life cycle and the basic Design Patterns. Finally, Eiffel’s advanced features around state are evoked.

The Identity axiom

31-Oct-2015

What are the Identity axiom consequences ? Here is a list of studied subject by this post: Addressing, Unitarity, Uniqueness, Ubiquity, Versioning.

Step into OO paradigm

27-Sep-2015

What is an object ? This is the question this post answered by establishing an axiomatic: Encapsulation, Interface, Behavior, Identity and State.
This post also reveals what is there behind these axioms and begins to explore their implications.