Discover apps and services related to Static Typing.
Variable types are checked at compile time, helping to catch type-related errors early in the development process.
Hack is a programming language for the HipHop Virtual Machine (HHVM), combining the fast development cycle of dynamically typed languages with the discipline of static typing. It offers features like type hinting and asynchronous programming primitives, making it suitable for building complex, performant web applications.
Kotlin is a modern, statically-typed programming language developed by JetBrains. It runs on the Java Virtual Machine (JVM), Android, and the web (via JavaScript), and can compile to native code. Designed for concise, safe, and interoperable code, Kotlin aims to make programming more enjoyable and productive.
Rust is a multi-paradigm, general-purpose programming language designed for performance and safety, especially safe concurrency. It's ideal for systems programming and performance-critical applications.
Haskell is a powerful, statically typed, purely functional programming language. It emphasizes immutability and mathematical purity, leading to robust and maintainable code. Ideal for applications demanding correctness and concurrency.
C is a foundational, imperative programming language renowned for its efficiency and low-level access. It serves as a bedrock for systems programming, operating systems, and performance-critical applications, providing direct control over hardware through features like manual memory management.