PureScript Functional Language

PureScript is a strongly-typed, purely functional programming language that compiles to JavaScript, designed for building reliable web applications with expressive types and principled abstractions. Created by Phil Freeman in 2013, PureScript is inspired by Haskell but targets JavaScript backends for web development, with over 8,500 stars as of 2026. Key features: pure functional programming where every function is pure with explicit side effects tracked through the Effect monad, enabling referential transparency. Row polymorphism provides extensible records allowing flexible record types without sacrificing type safety, unique to PureScript. Higher-kinded types with type classes, multi-parameter type classes, and functional dependencies enabling expressive abstractions like Functors, Applicatives, and Monads. Haskell-style type classes with instances, superclasses, and orphan instance control plus type class derivation. Compiler-enforced exhaustive pattern matching ensuring all cases are handled. Eager evaluation strategy unlike Haskell's lazy evaluation, making performance more predictable. Multiple backends including JavaScript with source maps, plus Erlang, C++, Go, and Rust via core compiler IR. Module system with explicit imports and exports, managed by Spago package manager with Dhall configuration and package set versioning. FFI for calling JavaScript functions with type-safe bindings. Pursuit documentation registry provides searchable API documentation for all packages. IDE integration via psc-ide language server for editor autocomplete and type checking in VS Code, Vim, and Emacs.