idris-elm
purescript
idris-elm | purescript | |
---|---|---|
1 | 52 | |
13 | 8,464 | |
- | 0.4% | |
10.0 | 6.5 | |
about 5 years ago | 20 days ago | |
Idris | Haskell | |
- | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
idris-elm
-
Is there an Elm like framework for cross-platform apps?
Then there's Idris, with idris-elm, and Idris targets quite a lot of languages. I don't use it myself, so I'm not sure how idris-elm would adapt outside Web applications.
purescript
- Learning Elm by porting a medium-sized web front end from React (2019)
- Ask HN: Interest in a Rust-Inspired Language Compiling to JavaScript?
-
Building React Components Using Unions in TypeScript
Naturally I’d recommend using a better language such as ReScript or Elm or PureScript or F#‘s Fable + Elmish, but “React” is the king right now and people perceive TypeScript as “less risky” for jobs/hiring, so here we are.
-
Is there a better way to do read-only types
Unless you want to switch to https://www.purescript.org/.
-
Why I'm Leaving Elm
PureScript[1][2] seems pretty alive these days. From my relatively small, self-contained experiments, it's a lot more flexible and expressive than Elm at the expense of (maybe?) being a bit harder to learn up-front.
[1]: https://www.purescript.org/
[2]:https://github.com/purescript/purescript
- (strongly typed) functional language compilers running in browser
-
purescript VS purs-eval - a user suggested alternative
2 projects | 2 Mar 2023
- Por que Elm é uma linguagem tão deliciosa?
-
I will die on this hill (curve)
*cough* I mean Purescript.
-
My main beef with Haskell/JS
Assuming this is a PS knock, fwiw this went away a good bit ago: https://github.com/purescript/purescript/releases/tag/v0.14.2
What are some alternatives?
purescript-flame - Fast & simple framework for building web applications
fp-ts - Functional programming in TypeScript
purescript-elmish - A PureScript implementation of The Elm Architecture
reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ihp - 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
elm-reactor
roc - A fast, friendly, functional language. Work in progress!
Elm - Compiler for Elm, a functional language for reliable webapps.
iced - A cross-platform GUI library for Rust, inspired by Elm
rescript-compiler - The compiler for ReScript.
Idris2 - A purely functional programming language with first class types
liquidhaskell - Liquid Types For Haskell