Idris - 30 chỉ số và điểm AHP
Idris là một ngôn ngữ lập trình Functional, Declarative, Dependent Types xuất hiện lần đầu vào năm 2007, do Edwin Brady thiết kế. Các trường hợp sử dụng chính: Theorem Proving, Formal Verification, Academic Research.
Giới thiệu
Idris là một ngôn ngữ lập trình Functional, Declarative, Dependent Types xuất hiện lần đầu vào năm 2007, do Edwin Brady thiết kế. Các trường hợp sử dụng chính: Theorem Proving, Formal Verification, Academic Research.
30 chỉ số
| Chỉ số | Giá trị | Xếp hạng |
|---|---|---|
| GitHub Stars | 15513 | 184 |
| Stack Overflow Tags | 247953 | 168 |
| TIOBE Rank | 159 | |
| RedMonk Rank | 146 | |
| PYPL Rank | 147 | |
| Average Salary (USD) | 50802 | 200 |
| Job Postings | 12034 | 181 |
| Benchmarks Score | 0.23 | 191 |
| Learning Curve | Easy | |
| Community Size | Small | |
| Documentation Quality | 1 | |
| Ecosystem Maturity | 2 | |
| Industry Adoption | 3 | |
| Type System Complexity | 1 | |
| Concurrency Support | 4 | |
| Performance - Execution Speed | 3 | |
| Performance - Memory Usage | 4 | |
| Performance - Startup Time | 1 | |
| Tooling Quality | 3 | |
| Package Manager Quality | 2 | |
| IDE Support | 2 | |
| Debugging Experience | 3 | |
| GitHub Stars Rank | 184 | |
| Stack Overflow Tags Rank | 168 | |
| Average Salary Rank | 200 | |
| Job Postings Rank | 181 | |
| Benchmarks Rank | 191 | |
| Learning Curve Score | 10 | |
| Community Size Score | 3 | |
| AHP Score | 3.36 | 163 |
Ví dụ Hello World
main : IO ()
main = putStrLn "Hello, World!"
Các trường hợp sử dụng chính
- Theorem Proving
- Formal Verification
- Academic Research
Framework phổ biến
- Idris 2
Điểm AHP
Idris Điểm AHP: 3.36 (#163)