About: Monad (functional programming)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Design pattern in functional programming to build generic types

Property	Value
dbo:description	datový typ (cs) design pattern in functional programming to build generic types (en) Abstrakter Datentyp (de) struttura che esprime una classe di computazioni concatenabili (it) funkcionális programozás (hu) suunnittelumalli funktio-ohjelmoinnissa (fi) 函數式編程中，用作構造通用類型的設計模式 (zh) patron de conception en programmation fonctionnelle servant à construire des types génériques (fr)
dbo:thumbnail	wiki-commons:Special:FilePath/Multivalued_functions_with_List_monad.svg?width=300
dbo:wikiPageExternalLink	http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html https://wiki.haskell.org/All_About_Monads https://wiki.haskell.org/Typeclassopedia http://okmij.org/ftp/Computation/monadic-shell.html http://learnyouahaskell.com/ http://learnyouahaskell.com/a-fistful-of-monads http://learnyouahaskell.com/for-a-few-monads-more https://github.com/leithaus/XTrace/blob/monadic/src/main/book/content/monadic.pdf
dbo:wikiPageWikiLink	dbr:Base_case_(recursion) dbr:Type_class dbr:Null_object_pattern dbr:Effect_system dbr:Xmonad dbr:Multivalued_function dbr:Dataflow_programming dbr:Bound_variable dbr:Idempotent dbr:JavaScript dbr:Category_theory dbr:Logical_disjunction dbr:Stream_processing dbr:Parsec_(parser) dbr:Option_type dbc:Functional_programming dbr:.NET_Framework dbr:Clojure dbr:F_Sharp_(programming_language) dbr:ML_(programming_language) dbr:Microsoft dbr:Perl dbr:Python_(programming_language) dbr:Scala_(programming_language) dbr:Scheme_(programming_language) dbr:Boolean_data_type dbr:Aspect-oriented_programming dbr:"Hello,_World!"_program dbr:Pattern_matching dbr:Infix_notation dbr:Declarative_programming dbr:Referential_transparency dbr:Parametric_polymorphism dbr:Markov_chain dbr:Formal_verification dbr:APL_(programming_language) dbr:Decorator_pattern dbr:Philip_Wadler dbr:Saunders_Mac_Lane dbr:Simon_Peyton_Jones dbr:Racket_(programming_language) dbr:Semantics_(computer_science) dbr:Permutation dbr:Roger_Godement dbr:Function_composition dbr:Control_flow dbr:Functor dbr:Multiset dbr:Input/output dbr:Natural_transformation dbr:John_C._Reynolds dbr:Anonymous_function dbr:Heinrich_Kleisli dbr:Higher-order_function dbr:Kleisli_category dbr:Library_(computing) dbr:Imperative_programming dbr:Subtyping dbr:Compile_time dbr:Lift_(mathematics) dbr:Type_system dbr:Interpreter_(computing) dbr:File_system dbr:SKI_combinator_calculus dbr:Functor_(functional_programming) dbr:Function_(computer_programming) dbr:Functional_programming dbr:J_(programming_language) dbr:Lambda_calculus dbr:Pipeline_(Unix) dbr:Profiling_(computer_programming) dbr:Rewriting dbr:Software_design_pattern dbr:Syntactic_sugar dbr:Monoid dbr:Function_prototype dbr:Observer_pattern dbr:Tiling_window_manager dbr:Zero_function dbr:Operator_(computer_programming) dbr:Arrow_(computer_science) dbr:Boilerplate_code dbr:Enumerated_type dbr:Map_(higher-order_function) dbr:Continuation dbr:State_(computer_science) dbr:Query_language dbr:Cartesian_closed_category dbr:Nth_root dbr:OCaml dbr:Distributive_property dbr:Parsing dbr:Programming_paradigm dbr:Inversion_of_control dbr:Reification_(computer_science) dbr:Separation_of_concerns dbr:Nondeterministic_algorithm dbr:Zipper_(data_structure) dbr:Near-semiring dbc:Articles_with_example_Haskell_code dbc:Software_design_patterns dbr:Adjoint_functors dbr:Encapsulation_(computer_programming) dbr:Lazy_evaluation dbr:List_comprehension dbr:Stream_(computing) dbr:Category_(mathematics) dbr:Eugenio_Moggi dbr:Absorbing_element dbr:Identity_element dbr:Linked_list dbr:Domain-specific_language dbr:Type_conversion dbr:Debugging dbr:Free_monoid dbr:Free_object dbr:Strong_monad dbr:Continuation-passing_style dbr:Category_of_sets dbr:Free_variable dbr:Monad_transformer dbr:Call-with-current-continuation dbr:Delimited_continuation dbc:1991_in_computing dbr:Type_constructor dbr:Uniqueness_type dbc:Programming_idioms dbr:Append dbr:Iteratee dbr:Applicative_functor dbr:Return_value dbr:Opal_programming_language dbr:Collection_(abstract_data_type) dbr:Concept_(generic_programming) dbr:Purely_functional_programming dbr:LINQ dbr:Tree_(data_structure) dbr:Log_file dbr:Kleisli_triple dbr:Haskell_(programming_language) dbr:Categorical_dual dbr:Adjunction_(category_theory) dbr:Endofunctor dbr:Associative dbr:Code_block dbr:Cofunctor dbr:Combinator dbr:Commutative_monoid dbr:Free_functor dbr:Reactive_extensions dbr:Referentially_transparent dbr:Divide-by-zero dbr:Domain_logic dbr:Generic_type dbr:Statement_(computer_programming) dbr:Side-effect_(computer_science) dbr:Category_of_monoids dbr:File:Multivalued_functions_with_List_monad.svg dbr:ZipperFS
dbp:wikiPageUsesTemplate	dbt:Formal_semantics dbt:Design_Patterns_Patterns dbt:Anchor dbt:Block_indent dbt:Citation_needed dbt:Code dbt:Efn dbt:For dbt:Further dbt:Math dbt:Mvar dbt:No dbt:Notelist dbt:Reflist dbt:Rp dbt:Section_link dbt:See_also dbt:Short_description dbt:Visible_anchor dbt:Wikibooks dbt:Yes
dct:subject	dbc:Functional_programming dbc:Articles_with_example_Haskell_code dbc:Software_design_patterns dbc:1991_in_computing dbc:Programming_idioms
gold:hypernym	dbr:Structure
rdf:type	owl:Thing
rdfs:label	Monad (functional programming) (en) Monáda (funkcionální programování) (cs) Mònada (programació funcional) (ca) Μονάδες (προγραμματισμός υπολογιστών) (el) Monade (Informatik) (de) Mónada (programación funcional) (es) Monade (informatica) (it) Monade (informatique) (fr) モナド (プログラミング) (ja) Monada (programowanie) (pl) Монада (программирование) (ru) Монади (програмування) (uk) 单子 (函数式编程) (zh)
rdfs:seeAlso	dbr:Monad_(category_theory) dbr:Set_monads
owl:sameAs	yago-res:Monad (functional programming) freebase:Monad (functional programming) wikidata:Monad (functional programming) dbpedia-de:Monad (functional programming) dbpedia-es:Monad (functional programming) dbpedia-it:Monad (functional programming) dbpedia-pl:Monad (functional programming) dbpedia-fr:Monad (functional programming) dbpedia-hu:Monad (functional programming) dbpedia-ja:Monad (functional programming) dbpedia-ru:Monad (functional programming) dbpedia-zh:Monad (functional programming) dbpedia-el:Monad (functional programming) dbpedia-ca:Monad (functional programming) dbpedia-bn:Monad (functional programming) dbpedia-cs:Monad (functional programming) dbpedia-fi:Monad (functional programming) dbpedia-uk:Monad (functional programming) dbpedia-global:Monad (functional programming)
prov:wasDerivedFrom	wikipedia-en:Monad_(functional_programming)?oldid=1306917106&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Multivalued_functions_with_List_monad.svg
foaf:isPrimaryTopicOf	wikipedia-en:Monad_(functional_programming)
is dbo:knownFor of	dbr:Philip_Wadler dbr:Eugenio_Moggi
is dbo:wikiPageDisambiguates of	dbr:Monad
is dbo:wikiPageRedirects of	dbr:Bind_(higher-order_function) dbr:Maybe_monad dbr:Additive_monad dbr:I/O_monad dbr:Free_monad dbr:Do-notation dbr:Generic_monadic_functions dbr:MonadPlus dbr:Monad_(Haskell) dbr:Monad_(computer_science) dbr:Monad_(programming) dbr:Monad_laws dbr:Monadic_type dbr:Monads_in_functional_programming dbr:LiftM2 dbr:State_monad dbr:Writer_monad
is dbo:wikiPageWikiLink of	dbr:Bind_(higher-order_function) dbr:Type_class dbr:Effect_system dbr:Glasgow_Haskell_Compiler dbr:Xmonad dbr:List_of_computer_scientists dbr:Snap_(web_framework) dbr:Flat_map dbr:Maybe_monad dbr:Formal_semantics_(natural_language) dbr:Parser_combinator dbr:Function_composition_(computer_science) dbr:F_Sharp_(programming_language) dbr:Haskell dbr:Predicate_transformer_semantics dbr:Ur_(programming_language) dbr:School_of_Informatics,_University_of_Edinburgh dbr:APL_(programming_language) dbr:John_Launchbury dbr:Language_Integrated_Query dbr:List_(abstract_data_type) dbr:Hindley–Milner_type_system dbr:Monad dbr:Concurrent_Haskell dbr:Scope_(formal_semantics) dbr:Lift_(mathematics) dbr:Yesod_(web_framework) dbr:Monad_(category_theory) dbr:Comma dbr:Functor_(functional_programming) dbr:Multiplication_sign dbr:Evaluation_strategy dbr:Cron dbr:Curry–Howard_correspondence dbr:Functional_programming dbr:Monoid dbr:For_loop dbr:Blackboard_bold dbr:Arrow_(computer_science) dbr:Continuation dbr:F*_(programming_language) dbr:Inversion_of_control dbr:Deterministic_algorithm dbr:MBrace dbr:Foreach_loop dbr:Nomad_(disambiguation) dbr:Comparison_of_programming_languages_(associative_array) dbr:Eugenio_Moggi dbr:List_of_University_of_Edinburgh_people dbr:Doug_Gurr dbr:Set-builder_notation dbr:Monad_transformer dbr:Monadic dbr:Side_effect_(computer_science) dbr:Comparison_of_C_Sharp_and_Java dbr:Rank_(J_programming_language) dbr:Haskell_features dbr:Applicative_functor dbr:List_of_abstractions_(computer_science) dbr:C++23 dbr:Call-by-push-value dbr:Async/await dbr:List_of_programming_languages_for_artificial_intelligence dbr:List_of_important_publications_in_computer_science dbr:Additive_monad dbr:I/O_monad dbr:Free_monad dbr:Do-notation dbr:Generic_monadic_functions dbr:MonadPlus dbr:Monad_(Haskell) dbr:Monad_(computer_science) dbr:Monad_(programming) dbr:Monad_laws dbr:Monadic_type dbr:Monads_in_functional_programming dbr:LiftM2 dbr:State_monad dbr:Writer_monad
is dbp:knownFor of	dbr:Eugenio_Moggi
is rdfs:seeAlso of	dbr:Monad_(category_theory)
is foaf:primaryTopic of	wikipedia-en:Monad_(functional_programming)