About

Every expression in Haskell has a type that is determined at compile time. All the types composed together by function application have to match up. If they don't, the program will be rejected by the compiler. Types become not only a form of guarantee, but a language for expressing the construction of programs. Every function in Haskell is a function in the mathematical sense (i.e., "pure"). Even side-effecting IO operations are but a description of what to do, produced by pure code. There are no statements or instructions, only expressions that cannot mutate variables (local or global) nor access state like time or random numbers. You don't have to explicitly write out every type in a Haskell program. Types will be inferred by unifying every type bidirectionally. However, you can write out types if you choose, or ask the compiler to write them for you for handy documentation.

About

PureScript is a strongly typed, purely functional programming language that compiles JavaScript. It enables developers to build robust web applications, web servers, and mobile apps using functional programming techniques. PureScript offers features such as algebraic data types, pattern matching, row polymorphism, extensible records, higher-kinded types, type classes with functional dependencies, and higher-rank polymorphism. The language emphasizes strong static typing and pure functions, ensuring code reliability and maintainability. Developers can compile PureScript code into readable JavaScript, facilitating seamless integration with existing JavaScript codebases. The ecosystem includes an extensive collection of libraries, excellent tooling, and editor support with instant rebuilds. An active community provides numerous learning resources, including the PureScript book, which offers practical projects for beginners.

About

Scala combines object-oriented and functional programming in one concise, high-level language. Scala's static types help avoid bugs in complex applications, and its JVM and JavaScript runtimes let you build high-performance systems with easy access to huge ecosystems of libraries. The Scala compiler is smart about static types. Most of the time, you need not tell it the types of your variables. Instead, its powerful type inference will figure them out for you. In Scala, case classes are used to represent structural data types. They implicitly equip the class with meaningful toString, equals and hashCode methods, as well as the ability to be deconstructed with pattern matching. In Scala, functions are values, and can be defined as anonymous functions with a concise syntax.

About

TypeScript adds additional syntax to JavaScript to support a tighter integration with your editor. Catch errors early in your editor. TypeScript code converts to JavaScript, which runs anywhere JavaScript runs: In a browser, on Node.js or Deno and in your apps. TypeScript understands JavaScript and uses type inference to give you great tooling without additional code. TypeScript was used by 78% of the 2020 State of JS respondents, with 93% saying they would use it again. The most common kinds of errors that programmers write can be described as type errors: a certain kind of value was used where a different kind of value was expected. This could be due to simple typos, a failure to understand the API surface of a library, incorrect assumptions about runtime behavior, or other errors.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

Developers in need of a purely functional solution to create, build and test applications

Audience

Developers interested in a solution to build reliable and maintainable applications

Audience

Developers looking for a Programming Language solution

Audience

DevOps teams in need of a typed Programming Language that builds on JavaScript

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Pricing

Free
Free Version
Free Trial

Pricing

No information available.
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

Haskell
www.haskell.org

Company Information

PureScript
Founded: 2017
United States
www.purescript.org

Company Information

Scala
www.scala-lang.org

Company Information

TypeScript
www.typescriptlang.org

Alternatives

Alternatives

Alternatives

Alternatives

AssemblyScript

AssemblyScript

The AssemblyScript Project
Nix

Nix

NixOS
Apache Groovy

Apache Groovy

The Apache Software Foundation
Apache Groovy

Apache Groovy

The Apache Software Foundation
Apache Groovy

Apache Groovy

The Apache Software Foundation
Dart

Dart

Dart Language
HUnit

HUnit

Hackage

Categories

Categories

Categories

Categories

Integrations

Zed
Amazon CodeWhisperer
Bordful
Carrot Seed
ChatGPT
Claude Sonnet 4
CopyCat
GPT-5.1 Instant
Lapce
Launchnow
MarsCode
Neovim
OpenAI o3
RKTracer
Replit Agent
SaaSRock
Scale to Zero AWS
Sematext Cloud
SonarQube Cloud
Traceloop

Integrations

Zed
Amazon CodeWhisperer
Bordful
Carrot Seed
ChatGPT
Claude Sonnet 4
CopyCat
GPT-5.1 Instant
Lapce
Launchnow
MarsCode
Neovim
OpenAI o3
RKTracer
Replit Agent
SaaSRock
Scale to Zero AWS
Sematext Cloud
SonarQube Cloud
Traceloop

Integrations

Zed
Amazon CodeWhisperer
Bordful
Carrot Seed
ChatGPT
Claude Sonnet 4
CopyCat
GPT-5.1 Instant
Lapce
Launchnow
MarsCode
Neovim
OpenAI o3
RKTracer
Replit Agent
SaaSRock
Scale to Zero AWS
Sematext Cloud
SonarQube Cloud
Traceloop

Integrations

Zed
Amazon CodeWhisperer
Bordful
Carrot Seed
ChatGPT
Claude Sonnet 4
CopyCat
GPT-5.1 Instant
Lapce
Launchnow
MarsCode
Neovim
OpenAI o3
RKTracer
Replit Agent
SaaSRock
Scale to Zero AWS
Sematext Cloud
SonarQube Cloud
Traceloop
Claim Haskell and update features and information
Claim Haskell and update features and information
Claim PureScript and update features and information
Claim PureScript and update features and information
Claim Scala and update features and information
Claim Scala and update features and information
Claim TypeScript and update features and information
Claim TypeScript and update features and information