你即將離開本站

並前往https://www.idris-lang.org/

Idris: A Language for Type-Driven Development

Idris is a programming language designed to encourage Type-Driven Development. In type-driven development, types are tools for constructing programs.

確定！ 回上一頁

查詢 「Type of language」的人也找了：

  1. Type of language
    2.
  2. Language in the world
    3.
  3. Spoken language
    4.
  4. Feature of language
    5.
  5. English
    6.
  6. The origins of language
    7.
  7. History of language
    8.
  8. Use of language
    9.