cspmchecker
haxl
| cspmchecker | haxl | |
|---|---|---|
| - | 11 | |
| 30 | 4,299 | |
| - | 0.1% | |
| 4.3 | 3.9 | |
| almost 2 years ago | 14 days 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.
cspmchecker
We haven't tracked posts mentioning cspmchecker yet.
Tracking mentions began in Dec 2020.
haxl
-
Functors, Applicatives, and Monads
For some reason everyone wants to talk about Monads, but really the other types here are just as interesting. For example, Applicatives are less dynamic than Monads in that you can't `flatMap`/`bind` to decide on the "next" thing to evaluate based on the previous value, but in exchange you get a "static" tree (or graph) of Applicatives that lends itself much better to static analysis, optimization, parallelism, and so on.
For example, Haxl (https://github.com/facebook/Haxl) uses this to optimize and parallelise remote data fetching, which is hard to do with Monads since those are inherently sequential due to the nature of `flatMap`/`bind`. My own Mill build tool (https://mill-build.org/) uses an applicative structure for your build so we can materialize the entire build graph up front and choose how to parallelize it, query it, or otherwise manipulate it before we actually start evaluating the individual steps
Monads seem to have this strange aura around them that attracts certain kinds of personalities, but really they're just one abstraction in a whole toolkit of useful abstractions, and there are many cases where Applicative or some other construct are much more suited
- Simon Peyton Jones – Haskell is useless [video]
- Is Haskell gaining or losing popularity?
-
Algebraic Effects: Another mistake carried through to perfection?
Sounds a bit like Haxl. From this page:
-
Ban 1+N in Django
+1. The JS event loop auto-monad-izing Promises into Haxl [1]-esqe trees of implicitly-batched loads has been a big win for us building on JavaScript/TypeScript.
If I had to move to another language, I'd really want to find a "powered by the event loop / dataloader" framework, i.e. Vert.x for Java.
Also, per dataloader, a shameless plug for our ORM that has dataloader de-N+1-ing built natively into all object graph traversals:
https://joist-orm.io/docs/goals/avoiding-n-plus-1s
[1]: https://github.com/facebook/Haxl
-
Is Meta decommissioning Sigma?
and Haxl
-
11 Companies That Use Haskell in Production
Haxl, a framework for efficient and concise data fetching.
-
I would like a job writing Haskell
You mean, Haxl? [1] But AFAIK only a few devs are involved for the development.
[1] https://github.com/facebook/Haxl
-
Do You Know Where Haskell Is Used?
Probably, the most googled and well-known example of Haskell application in major companies is the Facebook Meta spam filters. Messages containing spam, links to potential malware and phishing attacks are filtered by Sigma, the system that was rewritten in Haskell in 2015. The choice of language was based, among other things, on performance requirements, the need for pure functions and static typing, as well as the possibility of interactive development. The Haxl framework is used under the bonnet, which the company has open-sourced. You can find more details about the development process and technical aspects in the company’s blog post.
-
What are the advantage of Object Oriented languages over Functional languages? Particularly mutability.
Their GitHub still seems pretty active https://github.com/facebook/Haxl
What are some alternatives?
pipes-concurrency - Concurrency for the pipes ecosystem
streamly - High performance, concurrent functional programming abstractions
token-bucket - Haskell rate limiter library using lazy token bucket algorithm
fraxl
ki - A structured concurrency library
unagi-streams - Unagi-chan channels for io-streams.