|about 16 hours ago||4 days ago|
|Apache License 2.0||-|
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.
[ANN] haskell-language-server-1.5.1 has been released
2 projects | reddit.com/r/haskell | 29 Nov 2021
- [#2365](https://github.com/haskell/haskell-language-server/issue/2365): hs-boot files not handled correctly, discovered in the ghc codebase and fixed with [#2377](https://github.com/haskell/haskell-language-server/pull/2377)2 projects | reddit.com/r/haskell | 29 Nov 2021
Cause they still cant be built with ghc-9.0.1, see: https://github.com/haskell/haskell-language-server/issues/297 , and https://github.com/haskell/haskell-language-server/pull/2202 for tactics
HLS does not detect errors in Cabal project (but still provides suggestions)
2 projects | reddit.com/r/haskell | 26 Nov 2021
Hey! It sounds like hlint is working but not HLS, which is why you just get suggestions but not the errors. A bit similar to what I just ran into a couple of days ago. Could you check the logs from running haskell-language-server at the project's root directory, and see if it's similar with the ones I posted here?
[ANN] haskell-language-server-1.5.0 release
2 projects | reddit.com/r/haskell | 18 Nov 2021
I wrote a small script that updates the names of Haskell modules when files are moved
3 projects | reddit.com/r/haskell | 11 Nov 2021
As others have mentioned, plugins are currently compile-time add-ons for HLS, so your plugin will probably have to live in the main repo of HLS. Here are all plugins that currently have been merged into HLS: https://github.com/haskell/haskell-language-server/tree/master/plugins and the module-name-plugin seems to take care of at least one of the things you already mentioned.
Stack - dependency hell
1 project | reddit.com/r/haskell | 3 Nov 2021
Packages like this will often stack install more easily if you clone their source and running stack install from there. At https://github.com/haskell/haskell-language-server you can see a lot of stack.yaml files, all with huge extra-deps lists, which is a good sign this is definitely the way to go.
What are the current downfalls of Cardano?
2 projects | reddit.com/r/cardano | 2 Nov 2021
#1: Hitler reacts to functional programming | 70 comments #2: [ANN] haskell-language-server v1.0.0 | 42 comments #3: [ANNOUNCE] GHC 9.0.1 released | 39 comments
Easy way to locally navigate into source code of packages from Hackage?
4 projects | reddit.com/r/haskell | 14 Oct 2021
Yeah, someone's working on it.
[ANN] haskell-language-server-1.4.0 release
2 projects | reddit.com/r/haskell | 15 Sep 2021
more info here https://github.com/haskell/haskell-language-server/issues/21932 projects | reddit.com/r/haskell | 15 Sep 2021
Take a look to this issue for more details
GHC Proposal: Class Backends
1 project | reddit.com/r/haskell | 28 Nov 2021
Collective Code Construction Contract
3 projects | reddit.com/r/ProgrammingLanguages | 23 Nov 2021
Haskell has the GHC proposals process. These proposals get accepted or rejected by the GHC steering committee of 10 members, which is open for anybody to join and seems to have had about one vacancy per year historically (since 2017). If a proposal is accepted it can be implemented by anybody.
When newtype won't cut it; a polyvariadic instance
1 project | reddit.com/r/haskell | 14 Nov 2021
To me it seems like the solution is to define an unsaturated type family instead of a newtype and wait for /u/kcsongor to allow attaching instances to and deriving via them. This solves both 1. (allows a polymorphic return type) and 2. (doesn't require coercing through the arguments of Discrete). Any thoughts on this?
[ANNOUNCE] GHC 9.2.1 released!
3 projects | reddit.com/r/haskell | 29 Oct 2021
The original proposal has a Motivation section that I find completely unconvincing. On the other hand, it says
Polimorphism in Haskell
1 project | reddit.com/r/haskell | 28 Oct 2021
forall. .. is also a quantifier. It can be thought to have type abstraction \@a -> ..([future feature](https://github.com/ghc-proposals/ghc-proposals/pull/238)) and [*type applications*](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/type_applications.html?highlight=xtypeapplications#extension-TypeApplications)f @x`.
Any interested in a second edition of Thinking with Types?
1 project | reddit.com/r/haskell | 28 Oct 2021
Is it worth timing the new edition with the upcoming GHC changes too? I think that the chapters on first-class type families and defunctionalization would get out of date when Unsaturated type families is implemented.
Differences between (+1) and (1+)?
1 project | reddit.com/r/haskellquestions | 20 Oct 2021
I've had this idea in mind for a while to apply the same treatment to other operators as LexicalNegationdoes to - - I'm not sure whether it's really worth doing, but our discussion here inspired me to write it down. I'm curious what your thoughts on it would be. https://github.com/ghc-proposals/ghc-proposals/discussions/444
Status of Record Dot Syntax?
4 projects | reddit.com/r/haskell | 8 Oct 2021
Monads and Macros
1 project | news.ycombinator.com | 3 Oct 2021
See my comments to https://github.com/ghc-proposals/ghc-proposals/pull/412, where I invoke Racket frequently.
It's the right sort of goal, but we have to go all the way to full phase separation to make it mean something.
Unresolved challenges of scoped effects, and what that means for `eff`
2 projects | reddit.com/r/haskell | 1 Oct 2021
I think rank-2 polymorphism often really sucks to work with in Haskell, especially after SPJ’s “simplify subsumption” proposal, which often requires explicit eta-expansion to make programs typecheck. On the other hand, this idea is still more palatable than most other ones I’ve considered to make these sorts of interactions sound. Maybe the downsides of rank-2 polymorphism are worth accepting to better support scoping operations?
What are some alternatives?
lsp-mode - Emacs client/library for the Language Server Protocol
ormolu - A formatter for Haskell source code
vscode-haskell - VS Code extension for Haskell, powered by haskell-language-server
ihp - 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
lsp-haskell - lsp-mode :heart: haskell
cardano-sl - Cryptographic currency implementing Ouroboros PoS protocol
homebrew-core - 🍻 Default formulae for the missing package manager for macOS (or Linux)
void-packages - The Void source packages collection
idris - A Dependently Typed Functional Programming Language
ghc-exactprint - GHC version of haskell-src-exts exactPrint
hoogle - Haskell API search engine