It would be nice to see some initiative for replacement of boot libraries, which could then possibly be integrated into existing ones later on
There's so much we could do if given another chance:
make stacktraces default when it comes to exceptions
replace partial stuff with total functions + equivalent of expect from Rust
polish interfaces for common datatypes, add often requested combinators
promote some alternative to [] where appropriate
replace String
make mutable containers easier to use, provide missing ones where appropriate
provide more of strict alternatives to datatypes where appropriate
rework TH
remove legacy stuff from Typeable API
merge Arrows and Profunctors
clean up mess of combinators and newtypes in Control.Monad, Control.Applicative, Data.Foldable and Data.Traversable and in Data.Semigroup and Data.Monoid
Some of these feel like they should be trivial as long as some effort is spent on them. Some of these feel like they're going to end up being an endless debate on what to do with them.
I guess given once we have some design(s) at hand, we could have committee pick some deadline and make a vote even if there will be some disagreements, so that we
https://www.snoyman.com/blog/2020/11/haskell-bad-parts-2
It would be nice to see some initiative for replacement of boot libraries, which could then possibly be integrated into existing ones later on
There's so much we could do if given another chance:
expect
from Rust[]
where appropriateString
Typeable
APIArrow
s andProfunctor
snewtype
s inControl.Monad
,Control.Applicative
,Data.Foldable
andData.Traversable
and inData.Semigroup
andData.Monoid
Seems like we could have great mutable versions of containers once
LinearTypes
get finished(I mean, with interface that does not require
ST
/IO
)Some of these feel like they should be trivial as long as some effort is spent on them. Some of these feel like they're going to end up being an endless debate on what to do with them.
But knowing the Haskell ecosystem, even the trivial ones will end up being debated for ages
I guess given once we have some design(s) at hand, we could have committee pick some deadline and make a vote even if there will be some disagreements, so that we