I'm actually surprised that people learn about this only now... It is quite standard (and very common) thing to do in Ada. But then we can "subtype Strength is Natural range Natural'First .. 32;" since 80s (numeric type with all operators defined with permitted range of values from 0 to 32; range checks are performed at runtime by compiler - but most of them are optimized out anyway so penalty for them is in single digit percents of performance). Or if you prefer example from that site: "type First_Name is new String;"
HN user
darkestkhan
working at Terma A/S ( www.terma.com )
Oh, there is runtime type checking, though usually it is optimized out at compile time: it is for subtypes (which is mostly range checks) and checks of tags for tagged types (usually in class wide subprograms). Though both of them are often optimized out.
Wake up. Quantum entanglement is at least 10000 x c, and somehow it doesn't brake causality. And information first leaves the origin and gets to you before you know that it left its origin. But no causality is broken. Everything is still happening in proper order.
Someone did persuade them to shelve Ada... and then they get into this mess ;)
They are unlucky - there is no better alternative in writing this kind of software than Ada [well, there is SPARK but it is subset of Ada with annotations].
You forgot about commercialization of fusion ;) and hyperloop... and in his case we would additionally have permanent space colony, on Moon, Mars, deep space and one to be created in Venus ;)
There are no such forests in Poland, and Poland is much closer to Chernobyl than Germany.
In many marketplaces you have to pay for place in order to open stand yet we still call them open marketplaces (as long as price is affordable, but I would consider 100$ to be such) so why when you apply the same mechanisms for "virtual stand" it suddenly ceases to be open?
In many countries (India for example) medication itself is not patentable - but means of its production are.
There are many mathematical functions that have to satisfy non-trivial constraints and none of them are patentable. Why is it so that when you change the domain of use for function from one branch of math to another (CS is branch of math too) you suddenly can patent it?
I'm NOT for totally abolishing IP protection but there are things that shouldn't be patented, especially in very innovating areas of industry (i.e. what is patented today in CS in next 5 years will be obvious thing... while protection will last for 20, thus stifling innovation)
You're right. Note taken.
English is pretty much compulsory in entire world. And the same can be said in Poland - almost everyone learns English in school (often for 9 years) and only 30-50% of those people can use it in its written form (and situation is far worse when it comes to spoken form).
The average student in the World encounters far more written English than average American student of any other language (in written form). And people outside of countries with English used on day to day basis don't encounter enough English to properly use it in spoken form.
I'm not too busy just learning Japanese (as a matter of fact I'm also learning German and Russian and I still have some free time).
I did stop and thought about the tone. There were more comments (quite) similar to yours, so it was more at random that reply was to your comment.
Usefulness? Ability to communicate with more than 1.7 * 10^9 people is not enough for you? Also once you know Mandarin learning Japanese is much simpler.
... for simplicity I will assume 364 days/year 0.5 * 364 * 13 = 182 * 13 = 2356, which is more than those 2200.
It is generally advised to learn language in place where it is being used on day to day basis, no matter what language you are using.
Stop whining. Start learning.
Do you think that they (Chinese) don't have similar barrier when learning English? Do I have enough opportunities to interact with Japanese? No. But I'm still learning it.
"Not enough opportunities to interact with [language]" is poor's man excuse to not learn it at all.
And what about Technocracy ? It is quite cool alternative to Democracy. Probably too radical for current politics.
It is still open marketplace.
So constructive criticism will cause downvoting...
I would prefer set of experts - I don't see how lay person could be deciding in places where even experts can have problems.
Why he was downvoted? It is quite good comment...
They can also ship on SPARC ;)
I don't have problem with debugging and testing - since I'm programming in Ada most of the things that compile are already working properly (modulo errors in logic of program, but nothing in reality can help with this). In fact the only place where I just need to do serious testing is in UI and input reading (who knows with what someone may try to feed your program).
But this demands some designing before programming - and then you are seeing what additional features would be nice to have... and you get my version of feature creep, where you have so many features you "have" to write that you don't have time to release version alpha.
Feature creep - that is what I'm guilty of.
I agree with you but I say we shouldn't depend on intuition - it too often is wrong.
There shouldn't be any patents for algorithms - algorithms are math, and math is not patentable.
I suppose you never learned about monads and monoids.
But seriously: what is patentable in video codecs? Isn't it just math function? Give input in the domain of function and you get output.
Beside side-effects are only reading input and writing output - nothing else is side-effect. We already figured I/O almost 50 years ago - nothing novel here (the moment you get touchscreens is the moment kbd on touchscreen is created as it is obvious)
Especially when it happens so that you are working in Space or Defense industry...
And that is why there are no software patents in Poland - software is math. In fact every software ever created could be written as math formula in lambda calculus.
The thing is that people start using those libraries w/o thinking before - and theirs' solutions end up doing much more work than is needed
Can't you all think for a bit? All of These solutions are O (n) in both time and space... there is solution that will take O (1) time and space - and I think that you learned it in math class at (latest) high school (hint: arithmetic progression)
Yes, I'm on Linux - but it still doesn't explain why flash is consuming so much CPU (I'm using VESA drivers for graphics)
Poland s also depending on Russian natural gas (primary source of natural gas in Poland)
What's wrong in starting programming with recursion? It is more intuitive since you learn about it in school...