Idris - 30 chỉ số và điểm AHP

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ố

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: 2.82 (#196)

So sánh liên quan

• Idris vs cpp
• Idris vs css
• Idris vs typescript
• Idris vs react
• Idris vs java
• Idris vs javascript
• Idris vs python
• Idris vs csharp