Re: Future of Programming?

From: Isaac Gouy (igouy_at_yahoo.com)
Date: 03/21/04 

Date: 20 Mar 2004 20:00:21 -0800

alfredo@ncs.es (Alfredo Novoa) wrote in message news:<e4330f45.0403200320.46c90530@posting.google.com>...

> This is heresy for the reactionary OO zealots, but it is the natural
> trend of programming: To move from the "how" to the "what".
>
> The Relational Model as the direct application of Set Theory and
> Predicate Logic, was a major leap on that direction, but it is still
> unknown by the vast majority of programmers, specially the OO bigots.

Some are more interested in solving problems than demarcating technologies:

CLAIRE is an object-oriented programming language.
CLAIRE uses static type checking and dynamic type checking.
CLAIRE programming features Sets, Relations, and Rules.

http://www.claire-language.com

Relevant Pages

  • Re: Programming is the Engineering Discipline of the Science that is Mathematics
    ... But all math is not set theory and set ... Mathematics, in contrast, is much the same kind of methodology ... Mechanical engineering, chemical engineering, etc., all are ... Software engineering, or simply programming, is the engineering ...
    (comp.databases.theory)
  • Re: Entity and Identity
    ... I ran across an article that outlines the O-R mapping problem better than I ... of the relational model. ...  So can a functional programming ... Function composition is relational join ...
    (comp.databases.theory)
  • Re: Entity and Identity
    ... I ran across an article that outlines the O-R mapping problem better than I ... my reaction is that the database designer ... of the relational model. ... So can a functional programming ...
    (comp.databases.theory)
  • Re: whoever you hire, make sure it isnt a college graduate
    ... Data structures, complexity theory, set theory, some graph theory, ... Teaching whatever todays hot language is really is not important. ... explicit module on maintenance programming, ... remember playing with an Inmos transputer board while in high school (the ...
    (comp.programming)
  • Re: Just one more anecdote
    ... >>Just on the off chance that perhaps someday you will want to do an ... > is that the RM is based on set theory. ... predicates) corrrespond nicely with things in the relational model. ...
    (comp.databases.theory)