1. Dmitry Grebeniuk
  2. ocaml-iteratees-tutorial-rus

Commits

Dmitry Grebeniuk  committed 0b42281

.

  • Participants
  • Parent commits b233a3a
  • Branches default

Comments (0)

Files changed (1)

File input.txt

View file
  • Ignore whitespace
 "привязкой", так как значение, возвращённое монадой, привязывается к
 значению, обрабатываемому функцией.
 
-  Заметьте, что с помощью монад ловко решается вопрос присвоения
-промежуточным выражениям идентификаторов языка -- например,
-функция-аргумент, передаваемая в bind, типично будет иметь вид
+  Заметьте, что с помощью монад и монадного стиля (bind) в окамле
+можно легко создавать идентификаторы, к которым будут привязаны
+промежуточные результаты работы монадного кода -- для этого используется
+не let-in привязка, а функция (часто анонимная/безымянная), к аргументу
+которой привязывается значение.  Так, функция-аргумент, передаваемая
+в bind, типично будет иметь вид
 "fun binding_for_new_value -> some expression",
-таким образом привязывая значение из монады к данному идентификатору.
+таким образом, промежуточное значение, доставаемое bind'ом из монады,
+будет привязано к указанному идентификатору.
 
   Обратите внимание на сигнатуры функций -- в штатных ситуациях из монады
 "не положено" доставать значение, то есть, иметь функцию