h8hawk

Just ease of installing and standardization would rule out latex. Latex packaging is nightmare. Verbosity will be solved by tones of JS and python packages.

How massive censorship and state surveillance have anything to do with need of Chinese commoner?

It be will better for US economy then. At least they don't outsource car production to china.

I feel he is actively trying to dismiss Turing / Von neumann / church contributes and attributing them to Godel and etc.

This by the way is the most arrogant comment I've seen on this site.

Which kind of laptops are you speaking for? M1 GPu performance Blow any integrated gpu and all middle class separate GPUs (mx250, etc).

Isn't JS a Lisp with 'C' syntax?

Ruby also is a very expressive and clean language. I just don't get why you put Scala or Kotlin on unsloppy side.

Small integeres are object in python. They are cached in some implemention. If you only care about shallow syntax, yes it's confusing. But if you care more about semantics, it's completely consistent and doesn't make especial case.

In python it completely makes sense because it's an object oriented language and threat everything as object. In fact it's very consistent about that. Even classes are object and instance of metaclass. Difference between '==' and 'is' is came from that. This is not the case with Javascript. It's sad many peoples who are dealing with python don't understand that.

You should always use 'is' with None. == Is operator that can be overloaded and 'is' is object identity comparison. It make sense when you understand object system. You will be terribly messed up when use some numpy array == None.

Peter shor and Vazirani. I don't get why they are not awarded yet

Unfortunately pypy is unusable when you have to use any library using C api.

He won Turing award for that in 1987.

Have you look at mypyc?

https://github.com/python/mypy

Its a compiler that support subset of python and mypy's team including Guido work on it. It would be great if this kind of efforts have been done on more realistic project.

I've switched to their android app for this. Much faster and better experience.

I know they are foundations of mathematics. They are elements of mathematical logic. No disagreement on this.

But how they are not mathematics? They are part of mathematical logic and mathematical logic or logic in general is branch of mathematics. Do you want to say they are somehow separated from math?

I think you missed my point. The type theory is mathematics. So saying that math in type theory is nonsense.

This basically is used by someone who forced to use python's libraries.

The title "Mathematics in type theory" is like mathematics in real analysis or set theory.

Why should type annotation be enforced at run time? In statically typed languages there is no type checking at run time, your type system already proved the type of variable.

Latter. Named arguments (eg foo(a=1) ) are very helpful

Python's ploting problem is not imperative vs declarative. The main ugliness is basically "* * kwargs" every where. Every time it force you look at document to just find name of parameter you are looking for. Another common problem is Configs pass as string rather than enum.

I won't put java and smalltalk in same class. They are much different.

   >Design patterns are not engineering, let alone architecture
   >Sadly no programming language has made hierarchical state machines a first class feature to support with syntax despite it being software engineering unlike what OO bros claim

What do you mean by engineering here?

`is` is identity comparison and in python everything is "object". It check if two variable refer to same object (location in memory) or not. So you should not expect that `a is b` for `a=1.2 , b=1.2` be true. In this case actually first expression returned True is weird. because 0-256 objects are cached and every instance of them refer to same object.

Julia also do this:

    julia> 2<3<4
    true

These articles are very good on topic:

http://loup-vaillant.fr/articles/deaths-of-oop

https://medium.com/javascript-scene/the-forgotten-history-of...

https://www.yegor256.com/2016/08/15/what-is-wrong-object-ori...

It doesn't matter it’s slower than C/++ or Java . In fact, that’s an advantage; you want your algorithms to be fast because they’re actually good, not just because your hardware is fast. I think you completely missed the point on what algorithms are.

You might look at this answer: https://www.quora.com/Why-is-Python-not-a-suitable-language-...

No really. They are math themselves. Algorithms have nothing to do with implementation. The whole CLRS books algorithms are written with pseudocode. By your logic Turing machines and many other models of computations are not math. Just something is imperative doesn't mean it's not mathematics.

Are algorithms and theory behind them not math themselves?

Very nice article. It seems most developers don't likes how prototype based object model works in JS. I wonder how Javascript object system compare to Self, or similar language IO?