Developing Functional Code

Applicative Code is a development environment focused on functional programming. In other words, it supports programming languages whose design incorporates concepts from functional programming and that support the use of functional programming principles. This is in the broad sense, from elegant solutions to low-level problems to theorem proving based on dependent types, and is reflected in the three languages initially supported: Agda, Haskell, and Swift.

I hear you asking why a development environment, using the Language Server Protocol (LSP), restricts itself to supporting a limited number of languages. Most importantly, to be able to support language-specific functionality that improves the developer experience. As an example, take Haskell for Mac, the predecessor of Applicative Code.

It facilitated live programming for Haskell and gracefully supported other features, such as development with typed holes.

Haskell for Mac's narrow focus enabled unique functionality, but ultimately it was too narrow. One language. One fixed toolchain version. Only on macOS.

Applicative Code is more flexible, but stays away from becoming the lowest common denominator trying to support everything. We start with three languages, toolchains are customisable, and while we first launch on macOS, the code base targets iPadOS as well.

Interested? We are looking for beta testers. Just send your mail address and name to support@applicative.co for a TestFlight invitation.