Kashipara.com is a community of ONE million programmers and students, Just like you, Helping each other.Join them. It only takes a minute: Sign Up
Job Resume TemplateKashipara.com is a community of ONE million programmers and students, Just like you, Helping each other.Join them. It only takes a minute: Sign Up
Job Resume Template
Latest version Idris release on August 4, 2023
| Name | Idris |
| Category Name | Programming Languages |
| Release Date | August 4, 2023 |
| LTS Version | 2 |
| License | 0 |
| Official Website | https://www.idris-lang.org/ |
| Supported OS | Windows, Mac Os, LINUX |
Idris is a functional programming language with a focus on dependent types, allowing you to write precise, type-safe code by embedding proof systems within your programs. It supports first-class types, enabling complex type relationships and ensuring correctness through compile-time checks. Idris provides interactive development features, such as type-driven development and powerful editor integrations. Designed for both research and practical application, it facilitates seamless proofs and allows developers to reason about code behavior with mathematical rigor. It features a syntax similar to Haskell, making it accessible for those familiar with functional paradigms. Idris aims to bridge the gap between theorem proving and practical programming. It is highly modular, supporting both imperative and pure functional styles.
Software Requirements:- Windows: Windows 10 or later, GHC (Glasgow Haskell Compiler), Stack or Cabal Linux: GNU/Linux distribution with GHC, Stack or Cabal macOS: macOS 10.14 or later, GHC, Stack or Cabal Hardware Requirements:- Processor: Dual-core CPU (1.5 GHz or faster) Memory: 2 GB RAM (4 GB recommended) Storage: 100 MB available disk space
