A systems programming language that runs blazingly fast, prevents almost all crashes, and eliminates data races. .
Featuring
algebraic data types pattern matching closures type inference zerocost abstractions guaranteed memory safety concurrency without data races minimal runtime efficient C bindings
GitHub
Facebook
Official Website
Abstract Data Types Package Manager Pattern matching Type inference Typesafe
programming-language abstract-data-types package-manger pattern-matching static-typing type-inference typesafe
D is a language with C-like syntax and static typing. It pragmatically combines efficiency, control, and modeling power, with safety and programmer productivity.
F# is a succinct, expressive and efficient functional and object-oriented language for .NET which helps you write simple code to solve complex problems.
