aiono

Because software is rarely done. Also you will likely to write newer programs with the same but improved language that doesn't have the warts in the earlier versions. Isn't it worth paying a small price for the improvement you get in the future?

First issue it makes killing people easier. We already see it in IDF soldiers feeling less guilty because in the end decision is made by AI-assisted targeting systems. Secondly it automates killing people. Now a soldier doesn't need to use the weapon himself, he just oversees them and the killing itself is automated. Imagine how much more deaths it will lead to.

Modern culture seems to encourage "hacking" more than cultivating self-discipline.

I think treating AI as the best possible field for everyone smart and capable is itself very narrow minded and short sighted. Some people just aren't interested in that field, what's so hard to accept it? World still needs experts in other fields even within computing.

Or if everyone depends on another maybe we will not go into a war with each other.

> 1. If the code implementing the module API is private, it must all be colocated in one package. If it is public, then anyone can import it, breaking the module boundary. You need a visibility system that can say "this subtree of packages can cooperate with each other, but code outside the subtree can only use the top-level package."

This is easily achieved in Scala with a particular use of package paths. You are allowed to make some symbols only visible under a package path.

Void in Haskell is not the same thing as `void` in C, C++, Java or similar languages. If you return `Void` in Haskell, you will get a runtime error but `void` returning functions in C-like languages don't fail. It's not a type that doesn't have any value, rather it's a type that has a single value (normal return). Therefore it's more similar to `unit`.

That's the point I tried to make. All my bachelor education there was no single mention of sum types even though we learned about the visitor pattern. Instead of having to model sum types with object hierarchies, the language should provide a straightforward way to represent them since it's a very basic concept. I think that while things have improved a lot compared to past, sum types concept is still not known as much as objects for instance. Today all mainstream languages added direct support for sum types but awareness of it lacks.

> With Monday’s announcement universal child care will be extended to every family in the state, regardless of income. This amounts to an average annual family savings of $12,000 per child.

I think you conflate happiness and pleasure. Maintaining a family surely not always pleasant, but for the most people it makes you happier than being alone.

Do you mean native compilation instead of bundling the jar with a JRE?

This hits the nail for my sentiments about the matter. Good that someone who was actually in the business confirm it.