[Haskell-cafe] incomplete-uni-patterns

Travis Cardwell travis.cardwell at extrema.is
Thu Jan 26 11:24:28 UTC 2023

On Thu, Jan 26, 2023 at 6:35 PM Henning Thielemann wrote:
> Each of this is an occasion to think about more appropriate types,
> such that only valid values can be represented.

...and wish for dependent types!

More information about the Haskell-Cafe mailing list