Dmitrii Kovanikov  

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

1+
Jons Mostovojs  

@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 ?

1+
Dmitrii Kovanikov  

@jonn Feel free to express your thoughts under the corresponding CLC issue! It'll help the committee to make a more informed decision :)

I haven't tried Lean.

1
Jons Mostovojs
Follow

@chshersh I only really care about dependent types in Haskell, the rest: I keep my opinions to myself to not create useless (and looping) discussions.

· Web · 1 · 0 · 1
Dmitrii Kovanikov  

@jonn Actually, one of the linked discussion is about dependent Haskell.

The implementation of one of the GHC proposals related to DH is currently blocked on the base split and GHC internal modules.

So if have suggestions on how to proceed and move forward efficiently, feel free to share your thoughts!

github.com/haskell/core-librar

0
Sign in to participate in the conversation
Doma Social

Mastodon server of https://doma.dev.

Trending now

Resources

Developers

What is Mastodon?

social.doma.dev

More…