Monads - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция, определение
building blocks, atom, one
Monads (biology) a single-celled microorganism (especially a flagellate protozoan).
Free monads, however, are not restricted to a linked-list like in this example, and can be built around other structures like trees. |
Свободные монады, однако, не ограничены связанным списком, как в этом примере, и могут быть построены вокруг других структур, таких как деревья. |
Due to their strict definitions, however, one cannot simply move objects back and forth between monads and comonads. |
Однако из-за их строгих определений нельзя просто перемещать объекты между монадами и комонадами. |
Monads are the fundamental unit of reality, according to Leibniz, constituting both inanimate and animate objects. |
Согласно Лейбницу, монады-это фундаментальная единица реальности, составляющая как неодушевленные, так и одушевленные объекты. |
Monads can lay the groundwork for useful syntactic features while their high-level and mathematical nature enable significant abstraction. |
Монады могут заложить основу для полезных синтаксических признаков, в то время как их высокоуровневая и математическая природа позволяет значительно абстрагироваться. |
One other noteworthy use for monads is isolating side-effects, like input/output or mutable state, in otherwise purely functional code. |
Еще одно примечательное применение монад-это изоляция побочных эффектов, таких как ввод/вывод или изменяемое состояние, в остальном чисто функциональном коде. |
Monads present opportunities for interesting techniques beyond just organizing program logic. |
Монады представляют возможности для интересных методов, выходящих за рамки простой организации логики программы. |
Using free monads intentionally may seem impractical at first, but their formal nature is particularly well-suited for syntactic problems. |
Преднамеренное использование свободных монад может показаться на первый взгляд непрактичным, но их формальная природа особенно хорошо подходит для решения синтаксических задач. |
If a language does not support monads by default, it is still possible to implement the pattern, often without much difficulty. |
Если язык не поддерживает монады по умолчанию, то все еще можно реализовать шаблон, часто без особых трудностей. |
Category theory has practical applications in programming language theory, for example the usage of monads in functional programming. |
Теория категорий имеет практическое применение в теории языков программирования, например использование монад в функциональном программировании. |
Durov introduced commutative algebraic monads as a generalization of local objects in a generalized algebraic geometry. |
Дуров ввел коммутативные алгебраические монады как обобщение локальных объектов в обобщенной алгебраической геометрии. |
In some situations though, an application can even meet its high-level goals by using appropriate monads within its core logic. |
Однако в некоторых ситуациях приложение может даже достичь своих высокоуровневых целей, используя соответствующие монады в своей основной логике. |
Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories. |
Монады используются в теории пар сопряженных функторов, и они обобщают операторы замыкания на частично упорядоченных множествах на произвольные категории. |
Since monads make semantics explicit for a kind of computation, they can also be used to implement convenient language features. |
Поскольку монады делают семантику явной для определенного вида вычислений, они также могут быть использованы для реализации удобных языковых функций. |
There are many types of monads, each one solves a particularly common issue. |
Существует много типов монад, каждая из которых решает особенно распространенную проблему. |
Conceptually, if monads represent computations built up from underlying values, then comonads can be seen as reductions back down to values. |
Концептуально, если монады представляют собой вычисления, построенные из базовых значений, то комонады можно рассматривать как редукции обратно к значениям. |
At a mathematical level, some monads have particularly nice properties and are uniquely fitted to certain problems. |
На математическом уровне некоторые монады обладают особенно хорошими свойствами и однозначно приспособлены к определенным задачам. |
When formalized in category-theoretic terms, this leads to the conclusion that monads are the structure to represent these computations. |
При формализации в терминах теории категорий это приводит к выводу, что монады являются структурой, представляющей эти вычисления. |
The pure functional programming language Haskell implements them using monads, derived from category theory. |
Чистый функциональный язык программирования Haskell реализует их с помощью монад, полученных из теории категорий. |
Leibniz developed his theory of monads in response to both Descartes and Spinoza, because the rejection of their visions forced him to arrive at his own solution. |
Лейбниц развивал свою теорию монад в ответ как на Декарта, так и на Спинозу, потому что отказ от их представлений заставил его прийти к собственному решению. |
Besides generating monads with extra properties, for any given monad, one can also define a comonad. |
Помимо генерации монад с дополнительными свойствами, для любой данной монады можно также определить комонаду. |
To motivate how and why to program with monads, a quick example in pseudocode is provided here. |
Чтобы мотивировать, как и почему программировать с монадами, здесь приводится краткий пример в псевдокоде. |