GHC now runs in the browser

Post by pyrale » Sun, Nov 02, 2025, 12:16 PM UTC

lrvick wrote: post #110

pyrale wrote: post #107

Earlier quoted context omitted.

> If it becomes bootstrappable, then of course all the above critique is immediately retracted. So basically you're saying you're just trying to get people to carry water for your project? > because there is still literally no way to compile it from source https://gitlab.haskell.org/ghc/ghc/-/wikis/building/#buildin... I cannot comprehend how you can get to the conclusion that a compiler that was litterally made so t…

My project has no need of Haskell, but if anyone puts in the work to make haskell compileable from only public source code my team and I will put in the work to reproduce, package, and maintain it for the community for free as we do most other languages. Your link details building GHC with an existing non reproducible GHC compiler binary compiled by a single individual that must be blindly trusted. Full source bootst…

Post by argiopetech » Sun, Nov 02, 2025, 1:05 PM UTC

kaoD wrote: post #67

Can anyone point to a "practical Haskell" tutorial/book/whatever for people that already know functional programming? I'm in this sour spot where most tutorials are boring to me so I just can't follow through. I know what a monad is. What a typeclass is. Even what HKTs are. I can make sense of "a monad is just a monoid in the category of endofunctors" if I give it a few minutes to unravel the ball of twine... But I w…

Post by lrvick » Sun, Nov 02, 2025, 1:41 PM UTC

pyrale wrote: post #111

lrvick wrote: post #110

Earlier quoted context omitted.

My project has no need of Haskell, but if anyone puts in the work to make haskell compileable from only public source code my team and I will put in the work to reproduce, package, and maintain it for the community for free as we do most other languages. Your link details building GHC with an existing non reproducible GHC compiler binary compiled by a single individual that must be blindly trusted. Full source bootst…

> Your link details building GHC with an existing non reproducible GHC compiler binary compiled by a single individual that must be blindly trusted. You mean Hadrian? Its source is shipped with GHC. Even if you were not to trust Hadrian, the doc also has info about building GHC using make. > since day 1. Could it be that languages made around 2010 have learned a thing or two from previous languages?

Post by lrvick » Sun, Nov 02, 2025, 1:49 PM UTC

frumplestlatz wrote: post #112

lrvick wrote: post #94

Earlier quoted context omitted.

Unlike Nix and Guix, Stagex goes much further in that it has a 100% mandate on supply chain integrity. It trusts no single maintainer or computer and disallows any binary blobs. It is thus not possible to package any software that cannot be bootstrapped, reproduced, and signed by at least two maintainers. Haskell and Ada are the only languages not possible for us to support, or any software built with them. Everythin…

How are you bootstrapping a modern C compiler without an existing C/C++ compiler and linker?

Post by liveoneggs » Sun, Nov 02, 2025, 3:10 PM UTC

lrvick wrote: post #37

Unfortunately there is still no way to actually bootstrap haskell (or anything based on it) which makes it impossible to put anything written in Haskell near any high trust linux distribution or environment. I guess sandboxing the untrusted binary in a browser is -something- to let people play with haskell in a lower risk way for the moment at least but it is hard to take a language seriously or trust it with no way…