モナド

noun

monad

In philosophy, a fundamental indivisible unit of being, especially in Leibniz's metaphysics.

• ライプニッツの哲てつ学がくでは、モナドはこれ以い上じょう分ぶん割かつできない実じっ体たいとされる。

  In Leibniz's philosophy, a monad is considered an indivisible substance.

noun

monad

In category theory, a monad is an endofunctor with two natural transformations (unit and multiplication) satisfying certain coherence conditions.

• 圏けん論ろんにおけるモナドは、自じ己こ関かん手しゅと自し然ぜん変へん換かんを用もちいて定てい義ぎされる。

  A monad in category theory is defined using an endofunctor and natural transformations.

noun

monad

In functional programming, a monad is a design pattern that structures computations, often used to handle side effects, state, or sequencing.

• Haskellでは、IOモナドを使つかって副ふく作さ用ようを扱あつかう。

  In Haskell, the IO monad is used to handle side effects.