Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.programming > #14307

Re: What's new with the other programming models?

Show all headers | View raw

luser droog <mijoryx@yahoo.com> writes:

> All the cool developments over the past 80 years or so
> has been focus on the Church and Turing models. Considering
> all functional stuff to be essentially Church and all Von Neumann
> or procedural programming to be essentially Turing.
>
> What's up with the other models?

Prolog didn't seem to lead anywhere.  It's still important, but there is
no vast collection of derivative languages.

Also, there are other models like the various kinds of register
machines.  These are both theoretically interesting and more directly
related to what we think of as a modern computer.  The line from Turing
machines to C is harder to trace than the line from the lambda calculus
to Scheme.

On the purely theoretical side, Boolean circuits were all the rage a
decade or two ago, but I don't know if there are still a hot topic.

> Anything new being done
> with Post systems or Thue system? Are there other weirder ones?

Not as far as I know, but I am out of the game now.

> I suppose Macro processors are in a sense a development
> of Post string rewriting.

Yes.  They were once very active areas of work/research -- trac, TeX, m4
and so on -- but I think the all interesting ideas have been worked out.
When that happens, an area needs a new spark to re-ignite interest.
That happened with functional languages when the deep theory of types
started to be investigated.

Other string processing languages like Snobol left a legacy in tools
like AWK, Icon and Perl but I don't know what, if anything, is really
new in that field.  (Raku, AKA Perl6, is really just a functional
language with a prominent string type.)

> But, .... not really. Nobody does 
> Macro processing like that, right? You pack more built-in
> power to the macro itself, with math and lists and control
> structures and stuff, right?

I think that's universal.  All of the formal models were adapted like
that to make real tools.  To get LISP from lambda calculus you add
built-in lists, numbers and symbols.  The practical macro processors all
do the same, even though such things can be modelled in the pure
theoretical system they are based on.

-- 
Ben.

Back to comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

What's new with the other programming models? luser droog <mijoryx@yahoo.com> - 2021-12-02 22:13 -0800
  Re: What's new with the other programming models? David Brown <david.brown@hesbynett.no> - 2021-12-03 10:02 +0100
    Re: What's new with the other programming models? luser droog <mijoryx@yahoo.com> - 2021-12-03 19:40 -0800
      Re: What's new with the other programming models? luser droog <mijoryx@yahoo.com> - 2021-12-03 21:03 -0800
      Re: What's new with the other programming models? David Brown <david.brown@hesbynett.no> - 2021-12-04 16:03 +0100
  Re: What's new with the other programming models? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-12-03 11:24 +0000
    Re: What's new with the other programming models? David Brown <david.brown@hesbynett.no> - 2021-12-03 13:04 +0100
    Re: What's new with the other programming models? luser droog <mijoryx@yahoo.com> - 2021-12-03 21:26 -0800
  Re: What's new with the other programming models? Julio Di Egidio <julio@diegidio.name> - 2021-12-04 01:14 -0800
    Re: What's new with the other programming models? luser droog <mijoryx@yahoo.com> - 2021-12-04 16:47 -0800
      Re: What's new with the other programming models? Julio Di Egidio <julio@diegidio.name> - 2021-12-05 02:55 -0800
        Re: What's new with the other programming models? David Brown <david.brown@hesbynett.no> - 2021-12-05 13:29 +0100
          Re: What's new with the other programming models? Julio Di Egidio <julio@diegidio.name> - 2021-12-05 14:52 -0800
            Re: What's new with the other programming models? Richard Heathfield <rjh@cpax.org.uk> - 2021-12-05 22:59 +0000
              Re: What's new with the other programming models? Julio Di Egidio <julio@diegidio.name> - 2021-12-05 15:09 -0800
              Re: What's new with the other programming models? David Brown <david.brown@hesbynett.no> - 2021-12-06 09:00 +0100
                Re: What's new with the other programming models? Julio Di Egidio <julio@diegidio.name> - 2021-12-06 00:05 -0800
                Re: What's new with the other programming models? Richard Heathfield <rjh@cpax.org.uk> - 2021-12-06 08:17 +0000
                Re: What's new with the other programming models? Julio Di Egidio <julio@diegidio.name> - 2021-12-06 00:20 -0800
                Re: What's new with the other programming models? Richard Heathfield <rjh@cpax.org.uk> - 2021-12-06 09:44 +0000
                Re: What's new with the other programming models? David Brown <david.brown@hesbynett.no> - 2021-12-06 11:25 +0100
                Re: What's new with the other programming models? Julio Di Egidio <julio@diegidio.name> - 2021-12-06 09:02 -0800
                Re: What's new with the other programming models? David Brown <david.brown@hesbynett.no> - 2021-12-06 18:51 +0100
                Re: What's new with the other programming models? Richard Heathfield <rjh@cpax.org.uk> - 2021-12-06 17:58 +0000
                Re: What's new with the other programming models? Richard Heathfield <rjh@cpax.org.uk> - 2021-12-06 18:05 +0000

csiph-web