コンテンツにスキップ

検索結果

  • には関数型を指向して作られていながら補助的に代入の機能も備え、式に状態を持たせられるようにするケースがしばしばある。Haskellではモナド (Monad) 型と構文糖衣を利用して参照透過性を保ったまま手続き型的な表現を可能にしている。また、Haskellと相互に影響を与え合ったもう一つの純粋関数…
    8キロバイト (1,281 語) - 2023年12月27日 (水) 03:47

英語版ウィキペディアの検索結果を表示しています。

  • programming, a monad transformer is a type constructor which takes a monad as an argument and returns a monad as a result. Monad transformers can be used…
    7キロバイト (1,521 語) - 2024年4月22日 (月) 06:36
  • type, monads define two operators: one to wrap a value in the monad type, and another to compose together functions that output values of the monad type…
    76キロバイト (9,421 語) - 2024年5月26日 (日) 10:21
  • the fail method of the class Monad, may be used to signal fail as exception. the Maybe monad and MaybeT monad transformer provide for failed computations…
    9キロバイト (965 語) - 2024年3月18日 (月) 03:25
  • (2013), p. 34. Ganz, Steven E. (2007), Encapsulation of State with Monad Transformers, Ph.D. thesis, Indiana University, p. 25, ISBN 978-0-493-91365-0.…
    9キロバイト (1,017 語) - 2024年6月1日 (土) 14:42
  • ; Sabry, Amr (2005), "Backtracking, interleaving, and terminating monad transformers: (functional pearl)", Proceedings of the Tenth ACM SIGPLAN International…
    15キロバイト (1,812 語) - 2024年6月5日 (水) 19:32
  • easy to construct a "continuation-passing monad" (for example, the Cont monad and ContT monad transformer in the mtl library). The support for proper…
    27キロバイト (3,049 語) - 2024年5月23日 (木) 22:04
  • Predicate transformer semantics were introduced by Edsger Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs"…
    26キロバイト (3,380 語) - 2024年3月26日 (火) 07:01
  • functional programming language. Lazy evaluation and the list and LogicT monads make it easy to express non-deterministic algorithms, which is often the…
    11キロバイト (1,150 語) - 2024年5月26日 (日) 23:10
  • ("Air of fire, i.e. transformer into air.") âdhar-namgar ("Water of fire, i.e. transformer into water.") bât-âdhargar ("Transformer of air into fire.")…
    35キロバイト (3,904 語) - 2024年6月5日 (水) 23:59
  • Chosen One (disambiguation) The Great One (disambiguation) Henology Henosis Monad (philosophy) Monotheism One (disambiguation) The One and Only (disambiguation)…
    7キロバイト (918 語) - 2024年6月12日 (水) 15:39
  • — HP-9000 K450 Mohawk 180 — HP-9000 K460 - 889 Mojave — Cyrix processor Monad — Microsoft Shell Monet — Apple Macintosh PowerBook 165c Montana — Apple…
    62キロバイト (8,290 語) - 2024年5月24日 (金) 20:32