a
about
blog
register
login
English
Polski
Español
Français
Türkçe
中文
Social:
twitter
,
/r/arguman
Overview
Premises
Fallacy Reports
Most active channels
Programming
Better Than
Politics
Science
Technology
Life
Universe
Evolution
Most discussed users
gappleto97
inter
theemathas
bz
fatiherikli
Most supported premises
The government should be required to use open source software (for civilian operations at least)
Adding new features or maintaining the software will be cheaper since the government could hire anyone to work on it (including the original developers of the application). This reduces the possibilities that the original software developers overcharge the government for adding "must have" features
15 supporter.
Static typing is better than dynamic typing in programming languages.
Dynamic typed systems need to place guards in hot spot optimizations to ensure that the optimization is running over the correct structure. For example: method foo expects a single argument arg1 which is an Array, but dynamic typed languages can not ensure it will be always like that in the future
9 supporter.
Static typing is better than dynamic typing in programming languages.
Static type-checking prevents silly and easy to fix mistakes early enough that could be troublesome to fix in the future.
8 supporter.
Static typing is better than dynamic typing in programming languages.
The only subset of compile errors that static typed languages detects that the dynamic ones do not are type errors. Also, not all the type errors implies a program error, causing that a valid program may be rejected.
6 supporter.
Static typing is better than dynamic typing in programming languages.
Developers can focus better in the domain problem using a dynamic typed language because they do not need to worry for pleasing the type-checker
6 supporter.
The government should be required to use open source software (for civilian operations at least)
That doesn't imply that "the enemy" can not find it if the code is hidden
5 supporter.
The government should be required to use open source software (for civilian operations at least)
There is no guarantee that the cost of the license is going to be greater than the benefit of some features that may not be available in open source software.
4 supporter.
Static typing is better than dynamic typing in programming languages.
Having a low amount of users and supporters makes it harder to have a good and up to date set of libraries.
4 supporter.
Static typing is better than dynamic typing in programming languages.
Good design and documentations is far more important for large team, big codebase development.
3 supporter.
1 fallacy report.
Irrelevant Conclusion
Static typing is better than dynamic typing in programming languages.
Not all errors can be made a type error. If so, we could have a type-checker that could test all programs for correctness and then solve Halt Problem. Usually those languages that do have very very strong type systems are not Truing complete.
2 supporter.