Linux Softwares to Gradual Typing

Discover Linux Softwares to Gradual Typing.

Allows developers to incrementally add type information to an existing codebase, facilitating a gradual transition from dynamically typed to statically typed code.

Browse Categories View Platforms

Filter by Platform

Platforms:

Linux 1 Clear Filter

Quick Filters

Popular Recent Free Open Source

Best Linux Softwares to Gradual Typing

Sort:

Hack

Open Source

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.