Mark Janssen writes:
> The main thing that I notice is that there is a heavy "bias" in
> academia towards mathematical models. I understand that Turing
> Machines, for example, were originally abstract computational concepts
> before there was an implementation in hardware, so I have some
> sympa
Mark Janssen writes:
> From: en.wikipedia.org: Programming_paradigm:
>
> "A programming paradigm is a fundamental style of computer
> programming. There are four main paradigms: object-oriented,
> imperative, functional and declarative. Their foundations are distinct
> models of computation: Tur
Mark Janssen writes:
> > Having said that, theorists do want to unify concepts wherever possible
> > and wherever they make sense. Imperative programming types, which I
> > will call "storage types", are semantically the same as classes.
>
> I like that word "storage type", it makes it much clea
Mark Janssen writes:
> After the 2001 "type/class unification" , it went towards Alan Kay's ideal
> of "everything is an object"
>
> As a contrast, this is very distinct from C++, where everything is
> concretely rooted in the language's type model which in *itself* is
> rooted (from it's lon
On 7/13/2010 7:43 PM, Xah Lee wrote:
I use comp.lang.lisp, comp.emacs since about 1999. Have been using
them pretty much on a weekly basis in the past 10 years. Starting
about 2007, the traffic has been increasingly filled with spam, and
the posters are always just the 20 or 30 known faces. I t
