liquidhaskell
purescript
liquidhaskell | purescript | |
---|---|---|
4 | 53 | |
1,200 | 8,593 | |
0.5% | 0.4% | |
9.8 | 5.4 | |
5 days ago | 2 months ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | 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.
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
purescript
-
How I host Elm web applications with GitHub Pages
A web application makes use of these same ingredients, i.e. HTML, CSS, and JavaScript, but it uses significantly more JavaScript. As the JavaScript powering your web application grows in size it can bring with it a variety of problems that a few languages, like TypeScript, ReScript, PureScript, and Elm, have attempted to solve. Each of the aforementioned compile to JavaScript languages have their pros and cons but it is beyond the scope of this article to get into those details. Suffice it to say, my preference is Elm. It is also not the goal of this article to convince you to use Elm but only to show you how Elm fits into the flow of creating a web application and hosting it on GitHub Pages. So let's continue by adding Elm to our project.
- 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.
What are some alternatives?
ats-format - ATS source code formatter
fp-ts - Functional programming in TypeScript
language-thrift - Haskell parser for the Thrift IDL format.
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-lua - Lua parser and pretty-printer
rescript - ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
frp-arduino - Arduino programming without the hassle of C.
Idris2 - A purely functional programming language with first class types