ghc-proposals
penrose
Our great sponsors
ghc-proposals | penrose | |
---|---|---|
159 | 16 | |
667 | 2,591 | |
0.3% | 0.0% | |
9.1 | 0.0 | |
6 days ago | about 1 year ago | |
Python | Haskell | |
- | 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.
ghc-proposals
-
An alternative front end for Haskell?
> I think Haskell needs a way to graduate (or retire) language extensions
-
Or patterns proposal: Prefix signalling or just infix?
Additionally, while this proposal is focused on the simple implementation and so in the current proposal or patterns do not bind any variables as per #522, if we do get settled on syntax and then later wish to expand to allow binding variables as in #43, then the syntax is again clean and discoverable.
-
Amendmend proposal: Changed syntax for Or patterns
as syntax is contentious a topic as ever, David (the main proposal author) and I would like to invite you to give your input on https://github.com/ghc-proposals/ghc-proposals/pull/585, where we propose to change the syntax of the accepted proposal #522 introducing Or patterns. In particular, we'd like to know
-
{-# WARNING #-} for Data.List.{head,tail} in future GHC 9.8
It's coming: https://github.com/ghc-proposals/ghc-proposals/pull/541
Right. Being able to disable "custom type warnings" at use sites was part of an earlier proposal (https://github.com/ghc-proposals/ghc-proposals/pull/454) but it ended up being shelved.
- Foldr type level implementation
-
High-Performance Haskell?
The lack of concatMap fusion is a notorious issue in stream fusion. I recently implemented Higher Order Patterns in Rewrite Rules which should make it possible to write a rewrite rule for fusing concatMap in GHC 9.8.
-
The Haskell Playground supports GHC 9.6 alpha 2! You can now preview features like the error codes and the TypeData extension!
The initial proposal was data kind, but in the discussion some people didn't like the word "kind".
-
How does your programming language implement multi-line strings?
I learned about this when proposing multiline strings in Haskell. The convo there might be of interest to you: https://github.com/ghc-proposals/ghc-proposals/pull/569
penrose
-
Secretly introduced rust in my company, now they love it!
There is a fork that compiles to js https://github.com/ghcjs/ghcjs compiler, and I believe the official glasgow compiler is working towards also supporting js/wasm (although I don't think they are supported as of yet).
-
Resurrection/modernization of an old Haskell+Haste project (boardgame Yinsh)
I don't know anything about Haste, but you can get GHCJS 8.6 (or 8.10 with a bloated executable) via nix fairly easily or alternatively wait until the JS target recently merged into mainline ghc gets production ready: https://engineering.iog.io/2023-01-26-ghc-update.
-
How does GHC built from source set header search path?
Ah GHCJS does have this header: https://github.com/ghcjs/ghcjs/blob/ghc-8.10/lib/boot/data/include/stg/DLL.h
- Haskell, JS, and WebDev?
-
GHCJS or Asterius
About the FFI: GHCJS extended the FFI to support inlined JS, named arguments, etc. See https://github.com/ghcjs/ghcjs/blob/master/doc/foreign-function-interface.md For now the JS backend only implements FFI calls similarly to native FFI. The rest will be open to discussion later (e.g. in a ghc-proposal) and should take into account the Wasm backend so that the same user code compiles with both backends as much as possible.
-
Memory from finished thread is not getting reclaimed
I know, but I'm using GHCJS so I'm pretty much stuck with it (and using different compiler versions for development builds (which are native executables) and production doesn't seem like a good idea). There is hope though https://github.com/ghcjs/ghcjs/commits/ghc-8.10
Other than that, I ran into a GHCJS and Miso bug, but they weren't too hard to solve.
-
GHC Pluggable Backend?
There are a bunch of open branches. And yes, there is ghcjs support in haskell.nix, see this comment.
-
Is GHCJS stuck on GHC 8.6.5?
Default branch on ghcjs github is 8.6. 8.10 is a wip with commit from around a month ago.
When I compile the ghc-8.8 branch locally, I get a number of test failures from the test suite. I'm not sure exactly how to fix them and they aren't currently my highest hobby priority.
What are some alternatives?
haskell-language-server - Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
ascii-art-to-unicode - Small program to convert ASCII box art to Unicode box drawings.
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
julia - The Julia Programming Language
rio-orphans - A standard library for Haskell
safe - Haskell library for safe (pattern match free) functions
aeson-serialize - Functions for serializing a type that is an instance of ToJSON
final - final monad helper for Haskell to instead of return
hoogle - Haskell API search engine
cognimeta-utils - Utilities used by Perdure
miso - :ramen: A tasty Haskell front-end framework