Is it just me or is it actually impossible to type anything?
I thought you were talking about typing in Haskell at first lol.
They were! Typing...in Haskell...on a keyboard...on their screen...
GHC now runs in the browser
51–60 of 131 posts
Re: GHC now runs in the browser
#52Earlier quoted context omitted.
Ada can't bootstrap? Ironic...
Yes, and that is a serious security problem because the only way to get trusted PCR values for TPM2 gated secure boot and full disk decryption applications, is with open source full source bootstrapped firmware. Coreboot is the only option, but it has a hard requirement on Ada because that is what they wrote their intel graphics stack in. It is a real mess.
Interesting, any link I could read to understand a bit more the situation?
Re: GHC now runs in the browser
#53Neat... but with QEMU-WASM I'm wondering what actually does not run in the browser (obviously that doesn't required specific input). Not a criticism, love everything that can provide hassle-free onboarding to learn a new language, just curious.
My hypothesis — worth testing — is that this will be significantly faster
Re: GHC now runs in the browser
#54Unfortunately 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…
This is wild. I didn’t know this.
Re: GHC now runs in the browser
#55Serious question. Is Haskell still a thing?
We cannot even include it in stagex because there is still literally no way to compile it from source and thus no way to do a real reproducible build, and there is no one left that cares about the language enough to do this. Honestly it has to be regarded as a dead language until this is resolved.
Interesting logic:
Declare something "dead" because it does not fulfill [extremely niche usecase that currently only few people care about] (boostrapped builds) and thus couldn't "even" be included in [project of the post author that takes a while to even find] (I eventually figured it must be referring to https://stagex.tools).
There are probably 100x more people interested in Haskell than in build-bootstrapping (the Haskell reddit alone has 16k weekly users).
What's next, calling JavaScript a dead language until it focuses on dependent typing?
(I think bootstrappable builds are a good thing to strive for, but that should not be confused with language usage or what people really care about.)
Re: GHC now runs in the browser
#56[flagged]
Re: GHC now runs in the browser
#57Unfortunately 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…
For someone like me that is less versed in these things, could you explain why bootstrapping a language is a required check for taking a language seriously? My criteria is far less stringent (is it stable? is it popular enough? is the toolchain mature? etc..), so I wonder what I am missing here.
Re: GHC now runs in the browser
#58Unfortunately 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…
Between old Hugs and the new MicroHs, I think it's definitely doable with some elbow grease. I just don't know if anyone in the community cares that much about bootstrapping tho.
Re: GHC now runs in the browser
#59Re: GHC now runs in the browser
#60Earlier quoted context omitted.
Agreed. Too many people said Haskell is only for academia, yet we’re seeing more quality software being released in Haskell over the past few years.
We are? Please share.