← Back to Language Atlas

LANGUAGE / REVIEWED

Idris

Idris: language, Static, Strong typing, Compiled and Interpreted execution, and Standalone executable, Language-specific runtime, JavaScript runtime.

Idris classification facts

Paradigm
  • Functional
  • Declarative
Typing
  • Static
  • Strong
Execution
  • Compiled
  • Interpreted
Platform
  • Windows
  • macOS
  • Linux
  • Web Browser
Runtime
  • Standalone executable
  • Language-specific runtime
  • JavaScript runtime