1. 15

  2. 9

    i am not convinced that a statically typed language cannot become the NBL - the problems with static typing being a barrier to entry could be solved by a combination of type inference, a fast compiler and really good tooling. (in particular, a build tool that handled dependencies, compile sequencing and linking automatically would go a long way). from experience, the problem is not so much doing the up front work to keep the type checker happy, but the fact that you cannot run your code with a simple $ my-language <my-main-file> the way you can with most dynamic languages.

    1. 6

      Even that last point is a matter of tooling. I am reminded of the ‘runhaskell’ command.

      1. 6

        Most people’s hate of statically typed languages has nothing to do with types and everything to do with syntax overhead.


        x = [1]
        print map (_ + 1) x

        is (potentially) just as statically typed as this:

        Iterable x = new Iterable<Integer>(1);
        System.out.println(x.map<Integer>(func(Integer i) Integer { return i+1;} ));

        People see the latter and assume static typing sucks. People see the former and assume it requires dynamic typing. I find it’s pretty rare that people want true dynamic typing.

      2. 4

        Oh, and I know if anyone actually reads this post, they are going to ask “Why not Haskell?”, and my response is that Haskell is a great language but it isn’t going to become a mainstream language any time soon (or ever).

        The author started the paragraph with “So I’ve been looking for a language to replace Python” however near the middle of the paragraph it seems they are actually looking for Yegge’s NBL. Even then, later in the article the author considers Smalltalk and Scheme as “big” and “mainstream” languages.

        In case the author seriously doesn’t consider Haskell a viable language because it isn’t mainstream: since when does a language need to be mainstream to be usable?

        1. 1

          Yes, and how many people have to use a Lang for how long before the author considers it mainstream?