Talk:Symbolic Logic:Programming:Messaging Systems

But what is CLP? --Boris Tsirelson 07:30, 4 September 2011 (EDT)

CLP was Constraint Logic Programming, when I started. Now I am not sure if I like the term. :( I wish there was an easy way of renaming pages as in Wikipeadia.


 * Rather easy... Just ask me to rename "..." to "...". --Boris Tsirelson 15:24, 5 September 2011 (EDT)

What I have described in
 * Value Set Programming
 * Symbolic Logic Systems

is Constraint Logic Programming without the Logic Programming.

The closest thing I can see to what I have described is
 * the Curry programming language.

I wish there was a well established term for what I am describing. I have thought of calling it,
 * Value Set Programming

Unfortunately the word "value" is overloaded with other meanings such as moral values.

So what I mean is Messaging Systems for a language something like that. If I could rename the page I would get rid of the CLP.

I am sorry I am still working through ideas here. I have seen messaging systems based on XML. The way they work is that a message is created in XML with a message header and put in a table. A process then runs to map that XML to another XML message (using a PL/SQL) procedure to perform the mapping. Another process then runs to convert the XML into the appropriate format to be sent to the legacy system (comma delimited, fixed format, SWIFT etc).

The architecture works very well even though the use of PL/SQL for the mapping is a bit odd. The point is it allows a higher level method call in the form of a message to be transmitted to another system. And because the message is mapped, formatted, and routed in the messaging system the sending or receiving system doesnt have to do anything other than construct or receive the message, in a single format.

But it is a not very Object Oriented approach.

THe approach gives much looser coupling between classes which is a very good thing. But its a bit messy to construct an XML message and send it to yourself everytime you want something done.

The solution is something like XML but embedded in the language. Something like
 * Algebraic Data Type

You need to be careful because you dont want to construct things. The whole point is that the message is just data to be sent to another system. The receiving system will construct any objects.

I must admit that I am still making sense of this. The messaging approach works very well but doesnt fit well with other paradigms. I am trying to make room for it in my mind.

Thepigdog 08:14, 5 September 2011 (EDT)


 * Do you see a "Move" button when you click on the down-arrow beside the search box at the top-right of the screen?—Tom Larsen (talk) 06:55, 6 September 2011 (EDT)

I see it now. Will give it a go. Thepigdog 08:19, 6 September 2011 (EDT)