programming languages

Rank

Agda

Based on 607 responses from 80 people, this is the picture we've built up of Agda.

Most similar to...

  1. Prolog
  2. Coq
  3. APL
  4. Scheme
  5. Standard ML

Most dissimilar from...

  1. Java
  2. C++
  3. C
  4. C#
  5. PHP

All statements

  1. This language is easier to use for it's problem domain by removing unneeded expressiveness (such as not being Turing complete).
  2. I often feel like I am not smart enough to write this language
  3. When I write code in this language I can be very sure it is correct
  4. If my code in this language successfully compiles, there is a good chance my code is correct.
  5. Learning this language improved my ability as a programmer
  6. This language has a very rigid idea of how things should be done
  7. I rarely have difficulty abstracting patterns I find in my code
  8. This language encourages writing code that is easy to maintain.
  9. This language matches it's problem domain particularly well.
  10. This language is likely to have a strong influence on future languages
  11. Code written in this language tends to be very reliable
  12. This language has a very coherent design
  13. I usually use this language on solo projects
  14. This language is unusually bad for beginners
  15. The semantics of this language are much different than other languages I know.
  16. I find code written in this language very elegant
  17. This language is good for beginners
  18. I use this language out of choice
  19. This language is best for very small projects
  20. I would use this language for a desktop GUI project
  21. I would recommend most programmers learn this language, regardless of whether they have a specific need for it
  22. This language is very flexible
  23. This language is minimal
  24. This language has a niche in which it is great
  25. This language has a strong static type system
  26. I enjoy using this language
  27. This language is expressive
  28. Writing code in this language is a lot of work
  29. This language has a good community
  30. If this language didn't exist, I would have trouble finding a satisfactory replacement
  31. I use a lot of code written in this language which I really don't want to have to make changes to
  32. This language has an annoying syntax
  33. This language is likely to be a passing fad
  34. Code written in this language tends to be terse
  35. I would list this language on my resume
  36. I can imagine this will be a popular language in twenty years time
  37. I would like to write more of this language than I currently do
  38. Learning this language significantly changed how I use other languages.
  39. This language is good for numeric computing
  40. I still discover new features of this language on a fairly regular basis
  41. The thought that I may still be using this language in twenty years time fills me with dread
  42. This language excels at symbolic manipulation
  43. Programs written in this language will usually work in future versions of the language
  44. When I run into problems my colleagues can provide me with immediate help with this language
  45. I know many other people who use this language
  46. I regularly use this language
  47. I would use this language to write a command-line app
  48. Code written in this language will usually run in all the major implementations if it runs in one of them.
  49. I find this language easy to prototype in
  50. I would use this language as a scripting language embedded inside a larger application
  51. There is a lot of accidental complexity when writing code in this language
  52. This language has a wide variety of agreed-upon conventions, which are generally adhered to reasonably well, and which increase my productivity
  53. There are many good open-source tools for this language
  54. I would use this language for writing programs for an embedded hardware platform
  55. There are many good tools for this language
  56. This language is suitable for real-time applications
  57. This language has a high quality implementation
  58. This language is large
  59. I can imagine using this language in my day job
  60. This language makes it easy to shoot yourself in the foot
  61. This language is well documented
  62. This language is good for distributed computing
  63. This language excels at concurrency
  64. This language has a good library distribution mechanism.
  65. It is easy to tell at a glance what code in this language does
  66. This language is best for very large projects
  67. I often get angry when writing code in this language
  68. This language has well-organized libraries with consistent, carefully thought-out interfaces
  69. Code written in this language is very readable
  70. I find it easy to write efficient code in this language
  71. This language is likely to be around for a very long time
  72. This is a mainstream language
  73. This language has many features which feel "tacked on"
  74. Programs written in this language tend to be efficient
  75. This language excels at text processing
  76. This language is well suited for an agile development approach using short iterations.
  77. The resources for learning this language are of high quality
  78. I would use this language for writing server programs
  79. This language allows me to write programs where I know exactly what they are doing under the hood
  80. This language is frequently used for applications it isn't suitable for
  81. There are many good commercial tools for this language
  82. I learned this language early in my career as a programmer
  83. I use many applications written in this language
  84. Libraries in this language tend to be well documented.
  85. There is a wide variety of open source code written in this language
  86. I know this language well