[Haskell-cafe] incomplete-uni-patterns

Kazu Yamamoto (=?iso-2022-jp?B?GyRCOzNLXE9CSScbKEI=?=) kazu at iij.ad.jp
Thu Jan 26 03:28:11 UTC 2023


> If you are sure that the Maybe is always Just, why use Maybe in the
> first place?

I'm not sure this is a good example but suppose you have a variable
which is shared by clients and servers.

For clients, this variable is not necessary. So, to set a value,
"Nothing" is used.

>From the server code, the value is always "Just x" (by configuration
or something).

Even if this example is not appearing to you, there are a lot of
situations of this kind in practical code.

--Kazu




More information about the Haskell-Cafe mailing list