Typed PureScript

GPTKB entity

Statements (42)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:buildTool Pulp
gptkbp:category functional programming language
transpiled language
strongly typed language
gptkbp:chat https://purescript.slack.com
gptkbp:containsCommunity active
gptkbp:designedFor compiling to JavaScript
gptkbp:developer gptkb:Phil_Freeman
gptkbp:documentation https://purescript.org
gptkbp:fileExtension .purs
gptkbp:firstAppearance 2013
gptkbp:hasForum https://discourse.purescript.org
gptkbp:hasType gptkb:Hindley–Milner
strong
static
inferred
https://www.w3.org/2000/01/rdf-schema#label Typed PureScript
gptkbp:influenced gptkb:Halogen
gptkb:Spago
gptkb:Lamdera
gptkbp:influencedBy gptkb:JavaScript
gptkb:Haskell
gptkbp:latestReleaseVersion 0.15.8
gptkbp:license gptkb:BSD-3-Clause
gptkbp:openSource true
gptkbp:packageManager gptkb:Spago
gptkbp:paradigm functional programming
strongly typed
purely functional
gptkbp:platform gptkb:JavaScript
gptkb:Node.js
browser
gptkbp:repository https://github.com/purescript/purescript
gptkbp:supports algebraic data types
pattern matching
type classes
effect tracking
higher kinded types
row polymorphism
gptkbp:bfsParent gptkb:system_F
gptkbp:bfsLayer 6