|7 months ago
|about 1 month ago
|BSD 2-clause "Simplified" 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.
The Meaning of Monad in MonadTrans
2 projects | news.ycombinator.com | 13 Aug 2023
One production example I know: GitHub code navigation is written in Haskell https://github.com/github/semantic
How to Get Started with Tree-Sitter
3 projects | news.ycombinator.com | 28 May 2023
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  that imports the tree sitter API.3 projects | news.ycombinator.com | 28 May 2023
I believe they use semantic (Haskell program that uses tree-sitter) for navigation: https://github.com/github/semantic
So the answer may be that semantic does not yet have support for the language in question.
Scala community now has control over the official Scala grammar for tree-sitter 🎉
3 projects | /r/scala | 3 Jan 2023
2022 State of Haskell Survey
6 projects | news.ycombinator.com | 3 Nov 2022
11 Companies That Use Haskell in Production
7 projects | dev.to | 4 May 2022
GitHub used Haskell for implementing Semantic, a command-line tool for parsing, analyzing, and comparing source code.
What happened with GitHub's semantic project?
3 projects | /r/haskell | 29 Jan 2022
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.3 projects | /r/haskell | 29 Jan 2022
I'm just curious. It seems there hasn't been much activity in https://github.com/github/semantic Is GitHub still using semantic it to power some code navigation features? Has it been abandoned or is there some successor project that has taken its place? Is there any writeup / lessons learned about this project?
6 projects | news.ycombinator.com | 9 Dec 2021
is this from Github semantic (https://github.com/github/semantic)?
Seems very suspicious since it’s the same goal using the same technologies. The latest commit is 4mo ago but i assume they have a closed-source version they’ve been working on.6 projects | news.ycombinator.com | 9 Dec 2021
Haskell Lens Tutorial by Exercises
2 projects | news.ycombinator.com | 6 Dec 2022
They are in fact well structured and not random at all. Take a look at this:
Dhall: A Gateway Drug to Haskell
27 projects | news.ycombinator.com | 7 Jun 2022
The documentation of lenses is geared towards people know what lenses are. Of course this single fragment of documentation doesn't make sense if you don't know what lenses are. If you want to understand what lenses are the package links to a helpful wiki and tutorial: https://github.com/ekmett/lens/wiki/Overview
All within reach within seconds of discovering the function.
What are some alternatives?
proxy - proxy 'helpers'
algebraic-classes - Conversions between algebraic classes and F-algebras.
diffsitter - A tree-sitter based AST difftool to get meaningful semantic diffs
hexml-lens - Lenses for working with XML data
massiv - Efficient Haskell Arrays featuring Parallel computation
RFC1751 - RFC-1751 library for Haskell
Frames - Data frames for tabular data.
cantor-pairing - Convert data to and from a natural number representation
minst-idx - Read and write data in the IDX format used in e.g. the MNIST database
refined - Refinement types with static checking
jump - Jump start your Haskell development