undefined | Better HN

0 pointsadrianmonk4y ago0 comments

Consider these 4 possible combinations for programming languages:

(1) Low-level, static types

(2) Low-level, dynamic types

(3) High-level, static types

(4) High-level, dynamic types

For whatever reason, historically #1 and #4 have been most popular. C, C++, Pascal, Ada, and Java are #1. Python, JavaScript, Perl, and BASIC are #4.

There haven't been a lot of #2 or #3 languages. Some #3 languages (TypeScript and Python with types) have come along, but relatively recently.

A person who experiences only #1 and #4 might notice that they can whip up programs faster in a #4 language than in a #1 language, then falsely attribute that difference to the static types. Whereas the real reason is working at a different level of abstraction.

0 comments

DylanSp4y ago

I don't really see how Java is closer to C than it is to Python in terms of what level of abstraction it's working on, could you elaborate?

nayuki4y ago

It's a matter of opinion whether Java's level is closer to C or Python. But I can name a bunch of high-level features in Python that aren't in Java:

List literals, dictionary literals, tuples, bigint literals, byte strings, f-strings, sequence unpacking assignment, named parameters (kwargs), decorators, closures (functions within functions), metaclasses, generators, async, list/set/dict/generator comprehensions, multiple inheritance, natural JSON support, ...

jayd164y ago

C# has most of this stuff and I think Java has at least a few of these but I wouldn't say any of these are really much of a differentiator.

Jensson4y ago

However Java do support dynamic typing for every object even if it is a bit cumbersome so putting it at the same level as C++ isn't accurate either.

pjmlp4y ago

And at what level of abstraction does ISO C work on?

"C Is Not a Low-level Language, Your computer is not a fast PDP-11."

https://queue.acm.org/detail.cfm?id=3212479

Jensson4y ago

That would be a good point if you actually could write the final code for CPU's, but you can't since the CPU internals do that for you. So from an application programmers perspective machine code is as low as it gets and C maps really well to machine code so C is a low level language.

2 more replies

shpongled4y ago

#3 languages have been around since the 80's (SML) and 90's (Haskell)

pansa24y ago

Exactly. IMO we still don't have a good #3 language - in particular, all of the popular languages that can be compiled into native code are in category #1.

Akronymus4y ago

I'd say that f# haskell ocaml and such labguages fall under #3.

habitue4y ago

I'd say rust and swift are in the #3 category. Really, C++ is pretty damn high level, just not a sound type system. But it's static

j / k navigate · click thread line to collapse

0 pointsadrianmonk4y ago0 comments

Consider these 4 possible combinations for programming languages:

(1) Low-level, static types

(2) Low-level, dynamic types

(3) High-level, static types

(4) High-level, dynamic types

For whatever reason, historically #1 and #4 have been most popular. C, C++, Pascal, Ada, and Java are #1. Python, JavaScript, Perl, and BASIC are #4.

There haven't been a lot of #2 or #3 languages. Some #3 languages (TypeScript and Python with types) have come along, but relatively recently.

0 comments

DylanSp4y ago

I don't really see how Java is closer to C than it is to Python in terms of what level of abstraction it's working on, could you elaborate?

nayuki4y ago

It's a matter of opinion whether Java's level is closer to C or Python. But I can name a bunch of high-level features in Python that aren't in Java:

jayd164y ago

C# has most of this stuff and I think Java has at least a few of these but I wouldn't say any of these are really much of a differentiator.

Jensson4y ago

However Java do support dynamic typing for every object even if it is a bit cumbersome so putting it at the same level as C++ isn't accurate either.

pjmlp4y ago

And at what level of abstraction does ISO C work on?

"C Is Not a Low-level Language, Your computer is not a fast PDP-11."

https://queue.acm.org/detail.cfm?id=3212479

Jensson4y ago

2 more replies

shpongled4y ago

#3 languages have been around since the 80's (SML) and 90's (Haskell)

pansa24y ago

Exactly. IMO we still don't have a good #3 language - in particular, all of the popular languages that can be compiled into native code are in category #1.

Akronymus4y ago

I'd say that f# haskell ocaml and such labguages fall under #3.

habitue4y ago

I'd say rust and swift are in the #3 category. Really, C++ is pretty damn high level, just not a sound type system. But it's static

j / k navigate · click thread line to collapse