programming languages

Rank

This language has a strong static type system

Based on responses from 2606 people, we've built up the following picture of how well "This language has a strong static type system" describes different programming languages.

Top items

  1. Coq
  2. Haskell
  3. O'Caml
  4. Standard ML
  5. F#
  6. Scala
  7. Ada
  8. Agda
  9. Eiffel
  10. C#

Bottom items

  1. Assembler
  2. Shell
  3. Forth
  4. PHP
  5. AWK
  6. APL
  7. Javascript
  8. Perl
  9. Lua
  10. Ruby

Most similar to

  1. If my code in this language successfully compiles, there is a good chance my code is correct.
  2. When I write code in this language I can be very sure it is correct
  3. Code written in this language tends to be very reliable
  4. This language is best for very large projects
  5. This language excels at concurrency

Most dissimilar from

  1. It is too easy to write code in this language that looks like it does one thing but actually does something else
  2. This language is best for very small projects
  3. This language makes it easy to shoot yourself in the foot
  4. This language has a niche outside of which I would not use it
  5. This language is minimal

All items

  1. Coq
  2. Haskell
  3. O'Caml
  4. Standard ML
  5. F#
  6. Scala
  7. Ada
  8. Agda
  9. Eiffel
  10. C#
  11. Java
  12. Pascal
  13. D
  14. Go
  15. C++
  16. Delphi
  17. ActionScript
  18. Haxe
  19. C
  20. REBOL
  21. Cobol
  22. J
  23. Fortran
  24. Objective C
  25. Mozart-Oz
  26. R
  27. Groovy
  28. Mathematica
  29. Factor
  30. Visual Basic
  31. Io
  32. Matlab
  33. Clojure
  34. Smalltalk
  35. Erlang
  36. Prolog
  37. Common Lisp
  38. Python
  39. Scheme
  40. ELisp
  41. TCL
  42. Ruby
  43. Lua
  44. Perl
  45. Javascript
  46. APL
  47. AWK
  48. PHP
  49. Forth
  50. Shell
  51. Assembler