3 ms·

> I find that static typing means I can be more productive, because type errors are caught straight away I agree completely. I feel like there’s a pretty commo

• amelius 4y ago
  Except keep in mind that Rust adds more constraints than your typical statically typed language. It is still more fun and efficient to program in a language that is garbage collected and statically typed.
• einpoklum 4y ago
  About no. 4: That often translates into noticing C++ has gotten `auto` in C++11 with a later improvement in C++14: auto x { get_something_complicated() }; or foo(int x) -> auto { return get_something_complicated(bar(x)); } so it's less "not-fun" these days.
  • throwaway2037 4y ago
    I feel the same. Java and C# have an equivalent called 'var'. Unless the scope is tiny, I always avoid it. Also, in Java when you create a lambda, it is possible to exclude the parameter types. foo(x) -> get_something_complicated(bar(x)) It is not good for readability in large source bases.
    • einpoklum 4y ago
      With C++ lambdas, it's similar, but the syntax is a bit uglier: [](auto&& x) { return get_something_complicated(bar(x)); } and you can decide whether you want a value (no &'s), an lvalue reference (&), or a forwarding reference (&&). I think with C++20 you can also use a concept instead of auto for a constrained parameter type.
• tralarpa 4y ago
  I hate that some universities teach dynamically typed languages as first language in their curriculum. I think for CS students the first language should be as "strict" (not in the mathematical sense) as possible, so the student is forced to think very carefully what is going where. This is of course a controversial opinion, especially among proponents of SICP (which is, in my opinion, not a good book for beginners. Yes, downvote me). (Obviously, I am talking about CS students here, not about the general public who just want to learn what writing a program means)
  • xhevahir 4y ago
    What language do you recommend for beginners?
    • throwaway894345 4y ago
      I think Go would make a pretty good language for beginners, but I haven't tested that theory. TypeScript might be the safer bet, especially since you can run it in the browser and see things, which is probably somewhat more gratifying than printing text to a console.
    • manholio 4y ago
      I would go on a limb and say Rust (or more specifically, a limited dialect of it) could become a good language for beginners if: - the compiler had better life time inference, so that you wouldn't need to annotate simple functions and introduce beginners to complex issues related to lifetimes, i.e it should "seem" to work like python, initially. - better learning resources for absolute beginners are developed, step by step tutorial, an easy to install full IDE with friendly error messages etc.
• linsomniac 4y ago
  The thing I like about Python is that I can decide, even on a line-by-line basis, but more likely on a program by program basis, if it makes sense to be type oblivious, or type checked.
  • rjh29 4y ago
    Exactly. For one-off scripts or code you might throw away, there is nothing wrong with skipping the types.