haxl
semantic-source
Our great sponsors
haxl | semantic-source | |
---|---|---|
10 | 23 | |
4,230 | 8,858 | |
0.1% | 0.3% | |
0.0 | 9.1 | |
6 months ago | about 1 month ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | MIT 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
- 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
-
An Ideal Data-Model-First Development Approach for the real-world apps
Since you mention Any real-world application uses a database or seventeen in the backend, it's probably worth checking out https://github.com/facebook/Haxl as its goal is to allow you to write high-level queries in Haskell and have the library call out to different datasources as efficiently as possible.
semantic-source
-
The Meaning of Monad in MonadTrans
One production example I know: GitHub code navigation is written in Haskell https://github.com/github/semantic
- Semantic: Parsing, analyzing, and comparing source code across many languages
-
How to Get Started with Tree-Sitter
ah, easy. it's because support has not been added into https://github.com/github/semantic which is the tech that powers the GitHub UI. Adding support is pretty easy/mainly glue code [1] that imports the tree sitter API.
[1] https://github.com/github/semantic/blob/793a876ae45d38a6bd17...
- Scala community now has control over the official Scala grammar for tree-sitter 🎉
- 2022 State of Haskell Survey
-
11 Companies That Use Haskell in Production
GitHub used Haskell for implementing Semantic, a command-line tool for parsing, analyzing, and comparing source code.
-
What happened with GitHub's semantic project?
As far as engineering effort, you can read this GitHub comment for an overview of where we’d like to take the project in the future. The tl;dr here is that the open sum type view of the world made it very concise to fold over syntax trees (since such a view of data is ultimately unityped, recursion schemes Just Work), but the tradeoff thus associated—namely, that you have to parse a concrete syntax tree into an open-sum view (a complicated and painful-to-read process), that you can never really be sure how a given syntax tree is shaped, and that the types don’t help you nearly as much as they could—proved to be too onerous to deal with. Going forward, we’re generating syntax types from the AST once per target language, and working on an abstraction (probably via this generated code; I made five separate efforts at using Generics for this, and failed every time) that recovers at least some of the convenience of recursion schemes. It turns out that recursion schemes over a mutually recursive syntax tree—as pretty much every language’s syntax trees are, in practice—are pretty much an unsolved problem, especially when extended to languages like TypeScript, which have hundreds of different syntax nodes.
-
Stack Graphs
Meanwhile their Tree-Sitter-based semantic parser[1] looks abandoned. There is even rotting for years pull request[2] adding support of the same stack graphs into it.
[1] https://github.com/github/semantic
[2] https://github.com/github/semantic/pull/535
-
Cardano relying on Haskell is not bad at all
The semantic team at GitHub uses it for statically analyzing the dozens of languages that end up in GitHub repositories: https://github.com/github/semantic/blob/eaf13783838861fe5eb6cd46d59354774a8eb88d/docs/why-haskell.md
-
7 Useful Tools Written in Haskell
Yesterday I was looking for some examples of projects using tree-sitter (which is C) when I found GitHub's semantic, used to analyze and compare source code, and written in Haskell: https://github.com/github/semantic/
What are some alternatives?
fraxl
diffsitter - A tree-sitter based AST difftool to get meaningful semantic diffs
unagi-streams - Unagi-chan channels for io-streams.
massiv - Efficient Haskell Arrays featuring Parallel computation
streamly - High performance, concurrent functional programming abstractions
refined - Refinement types with static checking
cspmchecker - The library FDR3 uses for parsing, type checking and evaluating machine CSP.
cantor-pairing - Convert data to and from a natural number representation
stm-conduit - STM-based channels for conduits.
jump - Jump start your Haskell development
chaselev-deque - A collection of different packages for CAS based data structures.
Glean - System for collecting, deriving and working with facts about source code.