I published the May update for the #Haskell Core Libraries Committee (CLC) ✍️

🆕 4 new proposals
✅ 3 approved
🚫1 declined
🔥 1 hot discussion
💎 5 featured discussions with a common theme

Check it out 👇

discourse.haskell.org/t/clc-up

The longest and the most exhausting discussion for me personally is around the 'base' split and GHC internal modules.

It feels (to me personally) that the discussion is just circling around the same topics with no progress, and it's becoming too difficult to steer it 😞

The most controversial discussion is about adding types like Int8, Int16, Int32, Int64, Word8, etc. to Prelude.

Many people want it but many also are tired.

github.com/haskell/core-librar

@chshersh pedantic numeric sizes are quoted by some as one of the biggest turn-offs in Rust dev ux. As long as they're optional and prelude has long arithmetic, should be fine though. Glad to see you involved with !

Have you tried ?

@jonn wait wait wait, there are people who are put off by the "pedantry" of having specific size types in Rust? Rust the language whose purpose is to have memory safety?

@hecate yeah, in practice we often just use i/u64, but also, big its are memory safe. I don't understand your surprise. Look at this implementation: github.com/tczajka/ibig-rs/blo and buffer.rs there. I wouldn't hate to have this in prelude.

@jonn I'm not saying big ints are unsafe, but I find it hard to view "sized integers in the prelude is pedantry" as a legitimate opinion for a language whose value proposition is to be in touch with the memory of the computer. Even in Haskell it makes sense to have sized integers, for precise domain modelling.

Follow

@hecate sure, but I said "it's cool to have them side by side".

Sign in to participate in the conversation
Doma Social

Mastodon server of https://doma.dev.