Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software.

Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software.

With iMovie for iOS and macOS, you can enjoy your videos like never before. It’s easy to browse your clips and create Hollywood-style trailers and stunning 4K-resolution movies. You can even start editing on iPhone or iPad, then finish on your Mac.




D is a language with C-like syntax and static typing. It pragmatically combines efficiency, control, and modeling power, with safety and programmer productivity.

A purely functional package manager and an advanced distribution of the GNU operating system developed by the GNU Project—which respects the freedom of computer users.




Elixir is a dynamic, functional language designed for building scalable and maintainable applications.

Functional-first, open-source language for .NET, supporting static typing, succinct syntax, advanced pattern matching, object-oriented and asynchronous programming.

Concurrent, functional programming language enabling fault-tolerant, distributed, and scalable real-time systems, with hot swapping, garbage collection, and dynamic typing.

Clojure is a dynamic programming language that targets the Java Virtual Machine (and the CLR ). It is designed to be a general-purpose language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for...

Scala is a modern multi-paradigm programming language based on the Java Virtual Machine (JVM) designed to express common programming patterns in a concise, elegant, and type-safe way.


OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.
Raku unifies many great ideas that aren't usually found in other programming languages. While several other languages offer some of these features, none of them offer all.
Underscore is a utility-belt library for JavaScript that provides a lot of the functional programming support that you would expect in Prototype.js (or Ruby), but without extending any of the built-in JavaScript objects.


Elm aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.
Pyret is a programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming. It's under active design and development, and free to use or modify.

Cylinder is a jailbreak tweak that lets you animate your icons when you swipe pages on the SpringBoard.


Simple, elegant, Pythonic functional programming. Coconut (coconut-lang.org) is a Python variant that adds new features like prettier lambdas, pattern matching, algebraic data types and more.
L2 is a programming language that attempts to turn as much of C's preprocessor directives, control structures, statements, literals, and functions requiring compiler assistance into things definable inside L2.
Kitten is a statically typed, stack-based functional programming language designed to be simple and fast. It is a concatenative language, combining aspects of imperative and pure functional programming.