The GHC developers are very pleased to announce the availability of the release candidate of GHC 9.14.1. Binary distributions, source distributions, and documentation are available at downloads.haskell.org. GHC 9.14 will bring a number of new features and improvements, including: Significant improvements in specialisation: The SPECIALISE pragma now allows use of type application syntax The SPECIALISE pragma can be used to specialise for expression arguments as well as type arguments. Speci...| Haskell Community
ghc itself can now run purely client-side in the browser, here’s a haskell playground demo. terms and conditions apply, and i’ll write up more detailed explanation some time later, but i thought this is a cool thing to show off how far the ghc wasm backend has advanced 🙂| Haskell Community
Let’s say I have the following type: import Test.QuickCheck import GHC.TypeLits import Data.Kind data Vect :: Nat -> Type -> Type where VNil :: Vect 0 a VCons :: a -> Vect n a -> Vect (n + 1) a I want to be able to write some QuickChecks about my values, so I want to write an Arbitrary instance. sizedVect :: Int -> Gen a -> Gen (Vect n a) sizedVect 0 _ = pure VNil sizedVect n g = VCons <$> g <*> sizedVect (n - 1) g instance Arbitrary (Vect n a) where arbitrary :: Gen (Vect n a) arbi...| Haskell Community
People can voice their concerns against Microsoft too, I remember there used to be similar comments under any job post of Facebook eg. [job] Work on GHC at Facebook London : haskell| Haskell Community
Here are some reddit threads that include many people with significant criticisms of anduril, not only a company which produces military hardware, but one whose founder and leads are quite outspoken in their promotion of militarism in their values and politics: https://www.reddit.com/r/haskell/comments/14zogj0/anduril_hiring_haskell_developers/ https://www.reddit.com/r/haskell/comments/11vx9x4/anduril_hiring_software_engineer_haskell/ https://www.reddit.com/r/haskell/comments/dzb28x/anduril...| Haskell Community
I’ve been in contact with Travis in the recent past. I applied and we’ve had a chat, unfortunately it turned out they couldn’t hire me remotely, which is perfectly fine. The chat was really nice and friendly none the less. During the conversation I told Travis I knew a couple engineers who might be looking for work that they seem to be looking for, and Travis said to put them in touch. After reaching out to the engineers I emailed Travis about this and to set up a call between him and o...| Haskell Community
Personally I don’t care Anduril make weapons, but I also don’t mind people reminding others of that. In particular I’m perfectly fine with what @sclv is posting even if I think in the current world, with crony dictators running >50% of the planet, the manufacture of weapons is a sad necessity and a result of a set of unnecessary circumstances. I do care about the flakiness in communication which I mentioned in the original thread. I think the fact Travis showed up, read that comment, an...| Haskell Community
I’m writing an application in Haskell that compiles both to native and to WASM, using the GHC backend. I would like to be able to embed a directory of text files in the binary; is there a way to do that? I thought of using Template Haskell + something like file-embed but as far as I can tell TH doesn’t work on WASM. Is there any other way I can do that, or can I get TH to work? (using TH would actually solve some other issues too, but i’ve worked around the ones i’ve encountered so fa...| Haskell Community
Migrated from One Billion Row challenge in Hs - #184 by rhendric, since it is diverging from the topic. Oh I say, that’s a bit strong. deepseq is a tool with uses, and while I agree that in that specific problem, the strict vector was ultimately the right solution I agree that deepseq is a tool with uses. Nonetheless, my claim is indeed very strong! There are few cases when I’ll make a claim that strong. There are so many complexities in the world of programming that I am open minded to t...| Haskell Community
