Features of this language include:
- An extensive collection of libraries for development of web applications, web servers, apps and more.
- Excellent tooling and editor support with instant rebuilds.
- An active community with many learning resources.
- Build real-world applications using functional techniques and expressive types, such as:
- Algebraic data types and pattern matching.
- Row polymorphism and extensible records.
- Higher kinded types.
- Type classes with functional dependencies.
- Higher-rank polymorphism.
Here’s our recommended tutorials to learn PureScript.
2. Learn PureScript in Y minutes by Fredrik Dyrkell and contributors
3. A guide to the PureScript numeric hierarchy by Harry Garrood
This guide aims to give an introduction to the mathematics behind the numeric hierarchy of type classes in PureScript’s Prelude, aimed at people who haven’t (necessarily) studied mathematics beyond a high-school level.
The guide is published under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
4. 24 Days of PureScript 2016 by Phil Freeman
This is a series of blog posts inspired by Oliver Charles’ 24 Days of Hackage, to highlight some of the great work which was being done in the PureScript community.
The posts are published under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License.
5. What I Wish I Knew When Learning PureScript by Matthias Pronk
What I Wish I Knew When Learning PureScript offers a concise overview of the PureScript language and ecosystem, in the same style as “What I Wish I Knew When Learning Haskell” by Stephen Diehl.
This series explores PureScript, from the absolute basics of the language to building full web UI’s.
7. Real World Halogen by Thomas Honeyman
This guide demonstrates how to build a real world single-page application in PureScript and its most popular framework, Halogen. It comes with over 2,000 lines of commented code so you can see exactly how the ideas presented here translate to idiomatic PureScript.
All tutorials in this series:
|Free Programming Tutorials|
|Java||General-purpose, concurrent, class-based, object-oriented, high-level language|
|C||General-purpose, procedural, portable, high-level language|
|Python||General-purpose, structured, powerful language|
|C++||General-purpose, portable, free-form, multi-paradigm language|
|C#||Combines the power and flexibility of C++ with the simplicity of Visual Basic|
|PHP||PHP has been at the helm of the web for many years|
|Ruby||General purpose, scripting, structured, flexible, fully object-oriented language|
|Assembly||As close to writing machine code without writing in pure hexadecimal|
|Swift||Powerful and intuitive general-purpose programming language|
|Groovy||Powerful, optionally typed and dynamic language|
|Go||Compiled, statically typed programming language|
|Pascal||Imperative and procedural language designed in the late 1960s|
|Perl||High-level, general-purpose, interpreted, scripting, dynamic language|
|R||De facto standard among statisticians and data analysts|
|COBOL||Common Business-Oriented Language|
|Scala||Modern, object-functional, multi-paradigm, Java-based language|
|Fortran||The first high-level language, using the first compiler|
|Scratch||Visual programming language designed for 8-16 year-old children|
|Lua||Designed as an embeddable scripting language|
|Logo||Dialect of Lisp that features interactivity, modularity, extensibility|
|Rust||Ideal for systems, embedded, and other performance critical code|
|Lisp||Unique features - excellent to study programming constructs|
|Ada||ALGOL-like programming language, extended from Pascal and others|
|Haskell||Standardized, general-purpose, polymorphically, statically typed language|
|Scheme||General-purpose, functional, language descended from Lisp and Algol|
|Prolog||General purpose, declarative, logic programming language|
|Forth||Imperative stack-based programming language|
|Clojure||Dialect of the Lisp programming language|
|Julia||High-level, high-performance language for technical computing|
|SQL||Access and manipulate data held in a relational database management system|
|Erlang||General-purpose, concurrent, declarative, functional language|
|VimL||Powerful scripting language of the Vim editor|
|OCaml||General-purpose, powerful, high-level language|
|Awk||Versatile language designed for pattern scanning and processing|
|Racket||Platform for programming language design and implementation|
|BASIC||Family of general-purpose, high-level programming languages|
|LaTeX||Professional document preparation system and document markup language|
|Elixir||Relatively new functional language that runs on the Erlang virtual machine|
|Dart||Client-optimized programming language for fast apps|
|ABAP||Advanced Business Application Programming|
|F#||General purpose, strongly typed, multi-paradigm language. Part of ML|
|Chapel||Parallel-programming language in development at Cray Inc.|
|Dylan||Multi-paradigm language, supports functional & object-oriented programming|
|D||General-purpose systems programming language with a C-like syntax|
|Solidity||Object-oriented, high-level language for implementing smart contracts|
|XML||Set of rules for defining semantic tags that describe the structure and meaning|
|Vala||Object-oriented language with a self-hosting compiler that generates C code|
|ECMAScript||Best known as the language embedded in web browsers|
|Kotlin||Statically typed, general-purpose programming language with type inference|
|Markdown||Plain text formatting syntax designed to be easy-to-read and easy-to-write|
|Pike||Interpreted, general-purpose, high-level, cross-platform, dynamic language|
|HTML||HyperText Markup Language|
|Factor||Dynamic stack-based language|
|Objective-C||General purpose language which is a superset of C|
|Standard ML||One of the two main dialects of the ML language|
|Alice||Educational language with an integrated development environment|
|Agda||Dependently typed functional language based on intuitionistic type theory|
|Icon||High-level, general-purpose language|
|PureScript||Small strongly, statically typed language with expressive types|
|Tcl||Dynamic language based on concepts of Lisp, C, and Unix shells|
|QML||Hierarchical declarative language for user interface layout with a syntax to JSON|
|VHDL||Very High Speed Integrated Circuit Hardware Description Language|
|OpenCL||Open Computing Language|
|Haml||HTML Abstraction Markup Language|
|J||Array programming language based primarily on APL|
|LabVIEW||Designed to enable domain experts to build power systems quickly|
|Hack||For the HipHop Virtual Machine (HHVM), created as a dialect of PHP|
|V||Statically typed compiled language to build maintainable software|
|PostScript||Page description language in electronic and desktop publishing|
|Arduino||Inexpensive, flexible, open source microcontroller platform|
|Nim||Statically typed compiled systems language with syntax resembling Python|
|Emacs Lisp||A dialect of the Lisp programming language.|
|Octave||High-level language, primarily intended for numerical computations|
|Bash||‘Bourne-Again-SHell’ is both a shell and programming language|
|Limbo||Designed for applications running distributed systems on small computers|
|CSS||CSS (Cascading Style Sheets) specifies a web page’s appearance|
|Raku||Member of the Perl family of programming languages|
|Coq||Dependently typed language similar to Agda, Idris, F*, Lean, and others|