您当前的位置: 首页 >> 标签:idris
idris

idris】一、Idris 是一种函数式编程语言,它结合了类型理论与实际编程功能,旨在提供一种更加安全和可验证的编程方式。该语言由 Edwin 浏览全文>>