purescript
liquidhaskell
Our great sponsors
purescript | liquidhaskell | |
---|---|---|
52 | 4 | |
8,458 | 1,148 | |
0.4% | 0.5% | |
6.6 | 9.3 | |
9 days ago | 15 days ago | |
Haskell | Haskell | |
GNU General Public License v3.0 or later | 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.
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
liquidhaskell
- liquidhaskell ghc9に対応したリリース出てたの知らなんだ
-
LiquidHaskell plugin build failed
master should already be GHC 9 ready, it just so it happens that we didn't released it on Hackage due to the fact that, practically speaking, GHC 9.0.2 is not very widely used as I think we had some minor issues, but in principle it should work, at least with cabal: https://github.com/ucsd-progsys/liquidhaskell/blob/develop/cabal.ghc9.project
What are some alternatives?
fp-ts - Functional programming in TypeScript
ats-format - ATS source code formatter
reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
portable-template-haskell-lens
elm-reactor
stylish-haskell - Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell]
Elm - Compiler for Elm, a functional language for reliable webapps.
language-thrift - Haskell parser for the Thrift IDL format.
rescript-compiler - The compiler for ReScript.
language-lua - Lua parser and pretty-printer
Idris2 - A purely functional programming language with first class types
frp-arduino - Arduino programming without the hassle of C.