[Haskell-cafe] What to call Occult Effects

Kim-Ee Yeoh ky3 at atamo.com
Thu Nov 12 01:42:26 UTC 2020


On Thu, Nov 12, 2020 at 12:17 AM Justin Bailey <jgbailey at gmail.com> wrote:

> 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 at 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.
>
-- 
-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20201112/d7a12bb8/attachment.html>


More information about the Haskell-Cafe mailing list