ghc
ghc-proposals
Our great sponsors
ghc | ghc-proposals | |
---|---|---|
95 | 159 | |
2,957 | 667 | |
0.8% | 0.3% | |
9.6 | 9.1 | |
4 days ago | 6 days ago | |
Haskell | Python | |
GNU General Public License v3.0 or later | - |
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
-
Veryl: A Modern Hardware Description Language
of course it does! what else would you call something like chicken scheme [https://call-cc.org/], ats [https://ats-lang.sourceforge.net/], or ghc [https://www.haskell.org/ghc/]? they are not "scripts", they are full-blown compilers that happen to use C as their compilation target, and then leverage C compilers to generate code for a variety of architecures. it's a very sensible way to do things.
-
XL: An Extensible Programming Language
Agree about Haskell... as far as I'm aware there is actually no declarative/easily-readable definition of the Haskell syntax that is also complete, especially when it comes to the indentation rules, and the syntax is basically defined by the very (ironically) imperatively-defined GHC parser[0].
I prefer a syntax like in Pure[1], where the ambiguous, hard to parse indentation-based syntax is replaced by explicit semicolons (Yeah, you can use braces/semicolons in Haskell as well, but most code doesn't).
[0] https://github.com/ghc/ghc/blob/master/compiler/GHC/Parser/L...
-
Revisiting Haskell after 10 years
GHC, the main Haskell compiler
-
Introducing NeoHaskell: A beacon of joy in a greyed tech world
Depending on who you ask, a programming language can be different things. If you ask the Haskell community, many will tell you that the language is the Haskell specification, and that what currently is being used is not Haskell itself, but an extension of Haskell that is supported by the GHC compiler. Similar to the C language, a programming language would be a specification.
- Exploring the Internals of Linux v0.01
- Why did GHC go from "occurs check failed" to talking about rigid type variables?
-
How to get Bounded or Enum functionality for arbitrary Ints?
bss@monster % cat > File.hs pred 1 = 4 succ 4 = 1 succ 1 = 2 bss@monster % ghci -XNoImplicitPrelude File.hs GHCi, version 9.0.2: https://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/bss/.ghc/ghci.conf [1 of 1] Compiling Main ( File.hs, interpreted ) Ok, one module loaded. (0.04 secs,) GHCi> pred 1 4 it :: GHC.Num.Num p => p (0.01 secs, 79,688 bytes) GHCi> succ 1 2 it :: GHC.Num.Num p => p (0.01 secs, 78,088 bytes)
GHCi, version 9.0.2: https://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/bss/.ghc/ghci.conf GHCi> :{ GHCi| pred 1 = 4 GHCi| succ 4 = 1 GHCi| succ 1 = 2 GHCi| :} pred :: (Eq a, Num a, Num p) => a -> p succ :: (Eq a, Num a, Num p) => a -> p (0.04 secs, 0 bytes) GHCi> pred 1 4 it :: Num p => p (0.01 secs, 62,784 bytes) GHCi> succ 4 1 it :: Num p => p (0.01 secs, 61,864 bytes) GHCi> succ 1 2 it :: Num p => p (0.01 secs, 61,928 bytes)
-
Monad Transformer Compatibility
[jumper deriving-trans @master]$ nix develop [jumper deriving-trans @master]$ cabal repl Build profile: -w ghc-9.2.4 -O1 In order, the following will be built (use -v for more details): - deriving-trans-0.8.0.0 (lib) (first run) Preprocessing library for deriving-trans-0.8.0.0.. GHCi, version 9.2.4: https://www.haskell.org/ghc/ :? for help :1:1: warning: [-Wmissing-local-signatures] Polymorphic local binding with no type signature: _compileParsedExpr :: forall {a}. ghc-prim:GHC.Types.IO a -> ghc-prim:GHC.Types.IO a macro 'doc' overwrites builtin command. Use ':def!' to overwrite. Loaded GHCi configuration from /home/jumper/.ghc/ghci.conf : warning: [-Wunused-packages] The following packages were specified via -package or -package-id flags, but were not needed for compilation: - unliftio-core-0.2.0.1-4aEaNp8xHRK6Ey6KEoq0BU - transformers-base-0.4.6-BO3yqj8kK7N1FV1bV9s5yP - transformers-0.6.0.4-F8uVRiS1g8K3h8Rsxr0UMd - resourcet-1.2.6-GkviYKmTWlu24k3qS4ih9J - random-1.2.1.1-DsRhotp5Bx34wv1CRGomTB - primitive-0.7.3.0-1lmZ3PZm6JAE7HP2AgnD1I - mtl-2.3.1-A9dQ96c1wA8f1tgidK0Kj - monad-control-identity-0.2.0.0-C96eAiqAq5HPusYxrNzzr - monad-control-1.0.3.1-9k4XD0NyvERHbSFKJZxIuC - logict-0.8.0.0-5sZNS401Hrq2OkYkpVhzEI - exceptions-0.10.7-LidfE6miSbs6Y1NYj1lBV5 - base-4.16.3.0 [1 of 7] Compiling Control.Monad.Accum.OrphanInstances ( src/Control/Monad/Accum/OrphanInstances.hs, interpreted ) [2 of 7] Compiling Control.Monad.Select.OrphanInstances ( src/Control/Monad/Select/OrphanInstances.hs, interpreted ) [3 of 7] Compiling Control.Monad.Trans.Elevator ( src/Control/Monad/Trans/Elevator.hs, interpreted ) [4 of 7] Compiling Control.Monad.Trans.Compose.Transparent ( src/Control/Monad/Trans/Compose/Transparent.hs, interpreted ) [5 of 7] Compiling Control.Monad.Trans.Compose ( src/Control/Monad/Trans/Compose.hs, interpreted ) [6 of 7] Compiling Control.Monad.Trans.Compose.Stack ( src/Control/Monad/Trans/Compose/Stack.hs, interpreted ) [7 of 7] Compiling Control.Monad.Trans.Compose.Infix ( src/Control/Monad/Trans/Compose/Infix.hs, interpreted ) Ok, 7 modules loaded. λ *Control.Monad.Trans.Compose > :set -XPartialTypeSignatures λ *Control.Monad.Trans.Compose > import Control.Monad.Trans.Compose.Infix λ *Control.Monad.Trans.Compose Control.Monad.Trans.Compose.Infix > import Control.Monad.Trans.Compose.Transparent λ *Control.Monad.Trans.Compose Control.Monad.Trans.Compose.Infix Control.Monad.Trans.Compose.Transparent > runTransparentT ./> (`Mtl.T.runReaderT` 'a') ./> (`Mtl.T.runReaderT` True) $ (,) <$> (Mtl.ask :: _ Char) <*> (Mtl.ask :: _ Bool) :4:98: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘ComposeT (Mtl.T.ReaderT Bool) (ComposeT (Mtl.T.ReaderT Char) (Elevator NoT)) IO :: * -> *’ • In the type ‘_ Char’ In an expression type signature: _ Char In the second argument of ‘(<$>)’, namely ‘(Mtl.ask :: _ Char)’ :4:98: warning: [-Wmonomorphism-restriction] • The Monomorphism Restriction applies to the binding for ‘’ Consider giving it a type signature • In the second argument of ‘(<$>)’, namely ‘(Mtl.ask :: _ Char)’ In the first argument of ‘(<*>)’, namely ‘(,) <$> (Mtl.ask :: _ Char)’ In the second argument of ‘($)’, namely ‘(,) <$> (Mtl.ask :: _ Char) <*> (Mtl.ask :: _ Bool)’ :4:122: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘ComposeT (Mtl.T.ReaderT Bool) (ComposeT (Mtl.T.ReaderT Char) (Elevator NoT)) IO :: * -> *’ • In the type ‘_ Bool’ In an expression type signature: _ Bool In the second argument of ‘(<*>)’, namely ‘(Mtl.ask :: _ Bool)’ :4:122: warning: [-Wmonomorphism-restriction] • The Monomorphism Restriction applies to the binding for ‘’ Consider giving it a type signature • In the second argument of ‘(<*>)’, namely ‘(Mtl.ask :: _ Bool)’ In the second argument of ‘($)’, namely ‘(,) <$> (Mtl.ask :: _ Char) <*> (Mtl.ask :: _ Bool)’ In the first argument of ‘GHC.GHCi.ghciStepIO :: IO a -> IO a’, namely ‘(runTransparentT ./> (`Mtl.T.runReaderT` 'a') ./> (`Mtl.T.runReaderT` True) $ (,) <$> (Mtl.ask :: _ Char) <*> (Mtl.ask :: _ Bool))’ ('a',True)
-
Why does 0.1 and 0.2 = 0.30000000000000004?
GHCi, version 8.10.7: https://www.haskell.org/ghc/ :? for help
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
What are some alternatives?
haskell-language-server - Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
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
polysemy - :gemini: higher-order, no-boilerplate monads
effect-zoo - Comparing Haskell effect systems for ergonomics and speed
in-other-words - A higher-order effect system where the sky's the limit
vim-multiple-cursors - True Sublime Text style multiple selections for Vim
frp-zoo - Comparing many FRP implementations by reimplementing the same toy app in each.
julia - The Julia Programming Language
seed7 - Source code of Seed7
rio-orphans - A standard library for Haskell
fused-effects - A fast, flexible, fused effect system for Haskell
xvm - Ecstasy and XVM