Software Alternatives, Accelerators & Startups
Register | Login

PureScript VS Idris

Compare PureScript VS Idris and see what are their differences

ABcard
ABcard - service allows you to issue an unlimited number of cards to pay for advertising accounts. 3 unique BINs for any work tasks, management of a team of media buyers inside a personal account and complete anonymity when paying for traffic. featured
Contents:
  1. » Base Details
  2. » Videos
  3. » Reviews
  4. » Alternatives

PureScript logo PureScript

PureScript is a small strongly typed programming language that compiles to JavaScript.

Idris logo Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development
  • PureScript Landing page
    Landing page //
    2019-12-19

We recommend LibHunt PureScript for discovery and comparisons of trending PureScript projects.

  • Idris Landing page
    Landing page //
    2021-10-05

PureScript videos

+ Add

Claudia Doppioslash | Building a Graphical IDE in Elm/Purescript

More videos:

  • Review - Haskell Livecoding - Working on PureScript's IDE (3)
  • Review - PureScript Meetup #13 Type Classes

Idris videos

+ Add

FLYING THE IDRIS: REVIEW & FIRST IMPRESSIONS [STAR CITIZEN]

More videos:

  • Review - Star Citizen: Idris Overview - This ship is Idris-iculous
  • Review - Star Citizen: Idris First in Game Look!

Category Popularity

0-100% (relative to PureScript and Idris)

PureScript

Idris

Personal Finance
100 100%
Personal Finance
0% 0
Programming Language
0 0%
Programming Language
100% 100
Financial Planner
100 100%
Financial Planner
0% 0
OOP
0 0%
OOP
100% 100

User comments

Share your experience with using PureScript and Idris. For example, how are they different and which one is better?
Log in or Post with

Social recommendations and mentions

Based on our record, PureScript should be more popular than Idris. It has been mentiond 2 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.

PureScript mentions (2)

  • Building Mystery Mansion Madness without a UI Framework
    Before 2012, all of my websites were made using HTML, CSS and a sprinkling of JS. Then, I went all-in on AngularJS, followed by React. I started using Typescript and then PureScript and learned more frameworks like Halogen and Concur. I even wrote my own UI framework called purescript-deku. - Source: dev.to / over 1 year ago
  • Incrementally Adopting PureScript in a JavaScript Web Application
    I hope you get a chance to try PureScript out in your JS projects! For more learning resources, you can check out PureScript website. - Source: dev.to / almost 3 years ago

Idris mentions (1)

  • What's the current status with packages/libraries on Idris?
    So apparently there's a package manager called Inigo, but there are only a few packages in it. There's an idris-hackers group on github, that's linked from the idris-lang.org page. None of those libraries appear in Inigo though. So seems that Inigo isn't really a thing people are using. Source: over 2 years ago

What are some alternatives?

When comparing PureScript and Idris, you can also consider the following products

ReasonML - ReasonML is a new face to OCaml that--when coupled with BuckleScript--makes web development easy...

Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.

Mint - Free personal finance software to assist you to manage your money, financial planning, and budget planning tools. Achieve your financial goals with Mint.

Rust - A safe, concurrent, practical language

Elm - A type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript

Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...

Loading...