Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Would that make "monadial" the right word for monadic values?!


I usually see "monadic" - I mean, I don't think that spelling of words in general tends to be tied to their meaning in specific contexts.


Monadic/functorial are the adjective forms of monad/functor. You might say that "List has a monadic nature". This is hinting at the idea that List by itself isn't really a Monad, but instead (List, pure, bind) is.

The op is talking about something different, though. What is a term for List Int, a concrete type instead of a type constructor. We cannot call List Int a Monad, we cannot even call (List Int, pure_Int, bind_Int) a Monad. The definition really requires polymorphism. But, obviously, List Int is closely related to the List-Monad.

I've also heard "monadic value" used. I tend to just use "monad" even though I know it's an even greater abuse of language.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: