idris-lang.org

中文卖点 / 编辑评测

关于此条目

idris-lang.org 是一家 国际 的 开发工具 (编程语言) 服务商. TG4G 测评收录其 套餐「类型驱动开发语言」, 综合评分 7.0/10, 中国可用度 友好. 点击「前往官网」可直达 idris-lang.org 官方页面.

立即了解

同类商家 (Top 5)

• go.dev
  编程语言 · 美国 · 评分 9.9 · CN ★★★
• rust-lang.org
  编程语言 · 美国 · 评分 9.9 · CN ★★★
• groovy-lang.org
  编程语言 · 开源 · 评分 9.0 · CN ★★★
• elixir-lang.org
  编程语言 · 国际 · 评分 9.0 · CN ★★★
• chapel-lang.org
  编程语言 · 美国 · 评分 8.0 · CN ★★★