#ghc — Public Fediverse posts

"Immutability changes everything: We need it, we can afford it, and the time is now." -- Pat Helland
https://www.youtube.com/watch?v=xv-WApd-pSY
#simonpeytonjones #spj #interview #haskell #ghc #verse #gamedev #unreal #fortnight #functionalprogramming

Saw someone at work referred to GitHub Copilot as "GHC" and I want to cry

#haskell #ghc

Might #GHC 9.14 be the first release that does not break anything (except for bounds bumps)? If you find anything, report it here:

https://discourse.haskell.org/t/was-any-breakage-caused-by-9-14/13902?u=jaror

#haskell

"Compiler and runtime support for continuation marks" (PLDI 2020) https://dl.acm.org/doi/10.1145/3385412.3385981
"Continuation marks enable dynamic binding and context inspection in a language with proper handling of tail calls and first-class, multi-prompt, delimited continuations."

GHC proposal: "scoped thread-locals" https://github.com/ghc-proposals/ghc-proposals/pull/751
"efficient storage and lookup for immutable context
attached to the current Haskell thread, which is inherited by child threads."

#Haskell #ghc

Packages like `text` reach into the unstable bowels of #GHC to avoid allocating intermediate structures when reading IO.

But it is possible to do fusible lazy IO:

```
produce :: IO [Char]
produce = IO $ \s0 ->
(# s0 , build $ \c n ->
let go s = case runIO getChar s of
(# s' , x #) -> c x (go s')
in go s0
#)
```

Perhaps GHC could expose something like that and the text package could use it.

#haskell

TIL #GHC already has some functionality in place to check that a function is only used at a monomorphic type. Currently, I think it is only used for `tagToEnum#` but it would be useful to properly integrate it into the type system.

#haskell

An new proposal for passing implicit parameters to #Haskell functions: https://github.com/ghc-proposals/ghc-proposals/pull/741

Done the right way; as opposed to the existing ImplicitParams extension, which is practically useless.

#GHC

-fno-show-error-context

"Controls whether GHC displays information about the context in which an error occurred"

https://discourse.haskell.org/t/is-in-the-first-argument-of-etc-in-type-error-messages-useful/13502/9

https://downloads.haskell.org/ghc/latest/docs/users_guide/using.html#ghc-flag-fshow-error-context

#Haskell #GHC

impurepics - #Haskell Extensions
https://impurepics.com/posts/2019-08-01-haskell-extensions.html

A collection of short descriptions and examples of #GHC extensions

#PL #FP

#Haskell New Year Resolutions
https://discourse.haskell.org/t/haskell-new-year-resolutions/13478

These are very useful advices!

I learnt:
- Generically and DerivingVia
- StarIsType
- DuplicateRecordFields, NoFieldSelectors, and OverloadedRecordDot

I must admits that there are just too many extensions in #GHC...

#NewYearResolution #newyear2026 #FP #Programming

niklas-heer/speed-comparison: A repo which compares the speed of different programming languages.
https://github.com/niklas-heer/speed-comparison

This projects tries to compare the speed of different #programming languages. It uses an implementation of the Leibniz formula for π to do the comparison.

Notably:
- #Julia is the only dynamically-typed languages amoung the top tier, only ~28ms slower from #Cpp (#Clang).
- #Rust got a huge boost with nightly compiler (it is said that hand-written SIMD is used?)
- #Go tops in 3rd tier (very crowded 0.8s~1s)
- #PyPy and #Haskell (#GHC) are very closed (~1s), preceding #Racket, beating #Python (#NumPy) by a lot (~1.2s)
- The slowest is #CPython (~86s)

#Math #ScientificComputing

PSA: When using the #GHC API, the `setSessionDynFlags` function will modify the DynFlags, so be sure to discard the old DynFlags and use `getSessionDynFlags` if you need them again later.

Thanks to Rodrigo Mesquita for helping me figure this out!

#haskell

While declaring peace and justice advocates are terrorist organizations, while outlawing international law authority of the United Nations, US profiteers’ recruitment increases to expand their presence in Gaza for trapping Palestinians next month. Happy Christmas. Great reporting from DropSite News.
#Gaza #UGSolutions #NorthCarolina #GHC #CAIR

https://open.substack.com/pub/dropsitenews/p/gaza-ghf-ug-solutions-aid-massacres-mercenaries-ceasefire-trump?r=ct3l&utm_medium=ios

While declaring peace and justice advocates are terrorist organizations, while outlawing international law authority of the United Nations, US profiteers’ recruitment increases to expand their presence in Gaza for trapping Palestinians next month. Happy Christmas. Great reporting from DropSite News.
#Gaza #UGSolutions #NorthCarolina #GHC #CAIR

https://open.substack.com/pub/dropsitenews/p/gaza-ghf-ug-solutions-aid-massacres-mercenaries-ceasefire-trump?r=ct3l&utm_medium=ios

While declaring peace and justice advocates are terrorist organizations, while outlawing international law authority of the United Nations, US profiteers’ recruitment increases to expand their presence in Gaza for trapping Palestinians next month. Happy Christmas. Great reporting from DropSite News.
#Gaza #UGSolutions #NorthCarolina #GHC #CAIR

https://open.substack.com/pub/dropsitenews/p/gaza-ghf-ug-solutions-aid-massacres-mercenaries-ceasefire-trump?r=ct3l&utm_medium=ios

While declaring peace and justice advocates are terrorist organizations, while outlawing international law authority of the United Nations, US profiteers’ recruitment increases to expand their presence in Gaza for trapping Palestinians next month. Happy Christmas. Great reporting from DropSite News.
#Gaza #UGSolutions #NorthCarolina #GHC #CAIR

https://open.substack.com/pub/dropsitenews/p/gaza-ghf-ug-solutions-aid-massacres-mercenaries-ceasefire-trump?r=ct3l&utm_medium=ios

While declaring peace and justice advocates are terrorist organizations, while outlawing international law authority of the United Nations, US profiteers’ recruitment increases to expand their presence in Gaza for trapping Palestinians next month. Happy Christmas. Great reporting from DropSite News.
#Gaza #UGSolutions #NorthCarolina #GHC #CAIR

https://open.substack.com/pub/dropsitenews/p/gaza-ghf-ug-solutions-aid-massacres-mercenaries-ceasefire-trump?r=ct3l&utm_medium=ios

GHC now runs in the browser

https://discourse.haskell.org/t/ghc-now-runs-in-your-browser/13169

#HackerNews #GHC #Browser #Haskell #Programming #WebAssembly #Technology

#GHC now runs in your browser (via #WASM)!

https://discourse.haskell.org/t/ghc-now-runs-in-your-browser/13169?u=jaror

#haskell

PSA: RequiredTypeArguments, introduced in the upcoming #ghc 9.14 interacts strangely with ScopedTypeVariables. Can you guess what this program prints?

data A s where
A :: forall (s :: Symbol) -> KnownSymbol s => A "bar"

instance Show (A s) where
show (A s) = symbolVal (Proxy @s)

main = print (A "foo")

#haskell

TIL: parallel sparks can take up to 20 ms to be scheduled, so you should not use them for small computations.

https://gitlab.haskell.org/ghc/ghc/-/issues/14330

#haskell #ghc

Excessive strictness can cause space leaks too:

https://gitlab.haskell.org/ghc/ghc/-/issues/26127

#haskell #lazyevaluation #ghc

Dependent Haskell Roadmap

https://ghc.serokell.io/dh
#Haskell #dependenttype #GHC #PL #Programming

Dependent Haskell Roadmap

https://ghc.serokell.io/dh
#Haskell #dependenttype #GHC #PL #Programming

Dependent Haskell Roadmap

https://ghc.serokell.io/dh
#Haskell #dependenttype #GHC #PL #Programming

#Nix UX is such crap, it's unreal.

I love the tech, and the language is fun (funny), but it doesn't have to be like this.

I wish I had money to self-fund R&D beyond my people's work on #ghc

I would totally invest into #purenix.

If you want to help me reach my goals of bettering the industry beyond what #Serokell is doing, please consider asking your executives to have a look at #ZeroHR for their tech skill assessment needs.

https://zerohr.io

#Nix UX is such crap, it's unreal.

I love the tech, and the language is fun (funny), but it doesn't have to be like this.

I wish I had money to self-fund R&D beyond my people's work on #ghc

I would totally invest into #purenix.

If you want to help me reach my goals of bettering the industry beyond what #Serokell is doing, please consider asking your executives to have a look at #ZeroHR for their tech skill assessment needs.

https://zerohr.io

#Nix UX is such crap, it's unreal.

I love the tech, and the language is fun (funny), but it doesn't have to be like this.

I wish I had money to self-fund R&D beyond my people's work on #ghc

I would totally invest into #purenix.

If you want to help me reach my goals of bettering the industry beyond what #Serokell is doing, please consider asking your executives to have a look at #ZeroHR for their tech skill assessment needs.

https://zerohr.io

#Nix UX is such crap, it's unreal.

I love the tech, and the language is fun (funny), but it doesn't have to be like this.

I wish I had money to self-fund R&D beyond my people's work on #ghc

I would totally invest into #purenix.

If you want to help me reach my goals of bettering the industry beyond what #Serokell is doing, please consider asking your executives to have a look at #ZeroHR for their tech skill assessment needs.

https://zerohr.io

Move Files: a #tinytool

We released a tiny tool that moves files.

It is written in the #haskell programming language. The full source code is available as #FOSS (free and open-source software) on CodeBerg, here: https://codeberg.org/OmegaJunior/move-files

You will need to download the #GHC and cabal to compile it.

New GHCiTUI Version: 0.4.1.0!

Program interrupts are now supported, along other bug fixes. You can get it now on Hackage.

https://hackage.haskell.org/package/ghcitui

#haskell #ghc #ghcitui

New GHCiTUI Version: 0.4.1.0!

Program interrupts are now supported, along other bug fixes. You can get it now on Hackage.

https://hackage.haskell.org/package/ghcitui

#haskell #ghc #ghcitui

New GHCiTUI Version: 0.4.1.0!

Program interrupts are now supported, along other bug fixes. You can get it now on Hackage.

https://hackage.haskell.org/package/ghcitui

#haskell #ghc #ghcitui

New GHCiTUI Version: 0.4.1.0!

Program interrupts are now supported, along other bug fixes. You can get it now on Hackage.

https://hackage.haskell.org/package/ghcitui

#haskell #ghc #ghcitui

New GHCiTUI Version: 0.4.1.0!

Program interrupts are now supported, along other bug fixes. You can get it now on Hackage.

https://hackage.haskell.org/package/ghcitui

#haskell #ghc #ghcitui

TIL Template Haskell can generate rewrite rules.

#haskellSymposium #ghc

it's comic sans time.

#haskell #ghc #icfp #icfp2024 #haskelSymposium

Someone ported #Haskell #Concur to the new #GHC #Javascript backend. It uses nanomorph for DOM diffing instead of #VDOM!

https://github.com/demaledetti/concur-dom

Someone ported #Haskell #Concur to the new #GHC #Javascript backend. It uses nanomorph for DOM diffing instead of #VDOM!

https://github.com/demaledetti/concur-dom

Someone ported #Haskell #Concur to the new #GHC #Javascript backend. It uses nanomorph for DOM diffing instead of #VDOM!

https://github.com/demaledetti/concur-dom

Someone ported #Haskell #Concur to the new #GHC #Javascript backend. It uses nanomorph for DOM diffing instead of #VDOM!

https://github.com/demaledetti/concur-dom

Someone ported #Haskell #Concur to the new #GHC #Javascript backend. It uses nanomorph for DOM diffing instead of #VDOM!

https://github.com/demaledetti/concur-dom

GHCiTUI Update: Modules, Tracing, Resizing, Speed Ups! Also please help by endorsing me on Hackage.

It's been a while since I've given an update on this project.

The project is now open source (https://github.com/CrystalSplitter/ghcitui)

And hopefully in the next few weeks it'll be on Hackage! You can help me if you're a Hackage maintainer by endorsing me: https://hackage.haskell.org/user/CrystalJRAW/endorse

#haskell #ghc #ghcitui #ghci #programming #opensource

GHCiTUI Update: Modules, Tracing, Resizing, Speed Ups! Also please help by endorsing me on Hackage.

It's been a while since I've given an update on this project.

The project is now open source (https://github.com/CrystalSplitter/ghcitui)

And hopefully in the next few weeks it'll be on Hackage! You can help me if you're a Hackage maintainer by endorsing me: https://hackage.haskell.org/user/CrystalJRAW/endorse

#haskell #ghc #ghcitui #ghci #programming #opensource

GHCiTUI Update: Modules, Tracing, Resizing, Speed Ups! Also please help by endorsing me on Hackage.

It's been a while since I've given an update on this project.

The project is now open source (https://github.com/CrystalSplitter/ghcitui)

And hopefully in the next few weeks it'll be on Hackage! You can help me if you're a Hackage maintainer by endorsing me: https://hackage.haskell.org/user/CrystalJRAW/endorse

#haskell #ghc #ghcitui #ghci #programming #opensource

GHCiTUI Update: Modules, Tracing, Resizing, Speed Ups! Also please help by endorsing me on Hackage.

It's been a while since I've given an update on this project.

The project is now open source (https://github.com/CrystalSplitter/ghcitui)

And hopefully in the next few weeks it'll be on Hackage! You can help me if you're a Hackage maintainer by endorsing me: https://hackage.haskell.org/user/CrystalJRAW/endorse

#haskell #ghc #ghcitui #ghci #programming #opensource

GHCiTUI Update: Modules, Tracing, Resizing, Speed Ups! Also please help by endorsing me on Hackage.

It's been a while since I've given an update on this project.

The project is now open source (https://github.com/CrystalSplitter/ghcitui)

And hopefully in the next few weeks it'll be on Hackage! You can help me if you're a Hackage maintainer by endorsing me: https://hackage.haskell.org/user/CrystalJRAW/endorse

#haskell #ghc #ghcitui #ghci #programming #opensource

With this full implementation of term-to-type is completed[1], thanks to #serokell's funding. Honestly, the stuff Mr. Zavialov, soon-to-be-Dr. Rogozin and others have done for #GHC over past half-decade may be quiet, but also quite impressive.

Long live #Haskell, the most level-headed option for strong typing in production.

[1]: https://gitlab.haskell.org/ghc/ghc/-/commit/0f0c53a501ba7740cc896bdb3a2b153512183955