Looking up the definition "occult" on duckduckgo
(https://duckduckgo.com/?t=ffab&q=occult+definition&ia=definition)
gives this response:
adj. Of, relating to, or dealing with supernatural or magical
influences, agencies, or occurrences.
adj. Available only to the initiate; secret or mysterious: synonym:
mysterious.
adj. Beyond the realm of human comprehension; inscrutable.
Doesn't seem to really apply to your type signature. If you mean in
the sense of "occlusion" or "occludes", I'd be specific ("occluded
effects").
Hi Justin,
Thank you for heads up, it's just the nudge I need that "occult" probably isn't the right word although I had the astronomical usage in mind.
My go-to solution is now "occlusive effects" unless something even better comes along.
On Tue, Nov 10, 2020 at 3:24 PM Kim-Ee Yeoh <ky3@atamo.com> wrote:
>
> By an occult effect I mean that under the type signature (M a -> M b -> M b) of a particular monad M, the two expressions (const id) and (liftM2 $ const id) are equivalent.
>
> Occult here refers to how the effect of the second parameter blocks the effect of the first one.
>
> In your opinion, is there a better word than occult to describe the property of such monads?
> --
> -- Kim-Ee
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.