About idris
Idris is a dependently typed functional programming language. Functional programming expresses computation through functions, while dependent types allow a type to be related to values, enabling more precise descriptions of what a program accepts or produces. This combination can support programs where correctness properties are expressed in the type system. The supplied information identifies Idris’s language paradigm but does not specify its syntax, compiler, runtime, libraries, or supported platforms. It also does not describe development tools or application domains. Idris is intended for writing software in a functional style with dependent typing, which may be useful when strong type-level descriptions are important. Specific capabilities and practical tradeoffs depend on details not included in the available product information.
Categories
Platforms
Website & Downloads
Trusted package or store listing
Related software
- .NET Reactor — .NET Reactor is a code-protection and software-licensing system for applications built on the .NET Framework.
- 010 Editor — 010 Editor is a text and hexadecimal editor with Binary Templates technology.
- 10x — 10x is a Windows code editor designed for large C++ projects.
- 8051 Disassembler — 8051 Disassembler converts Intel HEX files for the 8051 microcontroller family into readable assembly listings.
- ACS — ACS, or Admin Config Service, is a command-line interface for managing configuration and administrative tasks in a cloud platform.
- APK Editor Studio — APK Editor Studio is an APK editor and reverse-engineering tool for desktop computers.
