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 Whiley release on June 27, 2022
| Name | Whiley |
| Category Name | Programming Languages |
| Release Date | June 27, 2022 |
| LTS Version | 0.6.1 |
| License | 0 |
| Official Website | https://whiley.org/ |
| Supported OS | Windows, Mac Os, LINUX |
Whiley is an avant-garde programming language that seamlessly fuses imperative and functional paradigms, empowering developers to craft robust and verifiable software. Born from Tony Hoare's "Verifying Compiler Grand Challenge," it emphasizes formal specifications through preconditions, postconditions, and loop invariants. Its distinctive flow-sensitive typing, or "flow typing," ensures type safety by analyzing variable types throughout their usage. Compiling to the Java Virtual Machine (JVM), Whiley offers interoperability with Java and other JVM-based languages. Open-sourced under the BSD license, it invites a collaborative community to push the boundaries of software correctness.
Software Requirements:- Java Development Kit (JDK) 8 or higher installed. Whiley Development Kit (WDK) version 0.6.1. Compatible build tools (e.g., Apache Ant) for project compilation. Hardware Requirements:- Minimum 2 GB RAM for smooth compilation and execution. At least 200 MB of free disk space for installation and project files. Standard processor (Intel or AMD) supporting JVM operations.
