haxl
chaselev-deque
| haxl | chaselev-deque | |
|---|---|---|
| 12 | - | |
| 4,308 | 109 | |
| 0.1% | 0.9% | |
| 4.1 | 5.7 | |
| 2 months ago | about 1 year 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.
haxl
-
Abstraction boundaries are optimization boundaries
Name-dropped both the N+1 problem and Haskell without mentioning Haxl.
Take a look at last decade's solution to this problem:
https://github.com/facebook/Haxl/blob/main/example/sql/readm...
-
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.
chaselev-deque
We haven't tracked posts mentioning chaselev-deque yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
streamly - High performance, concurrent functional programming abstractions
conceit - Concurrently + Either
cspmchecker - The library FDR3 uses for parsing, type checking and evaluating machine CSP.
hjsonschema
fraxl
named-lock - A named lock that is created on demand.