{“id”：“https://openalex.org/W2113109742“，”doi“：”https://doi.org/10.1007/3-540-45699-6_2“，”title“：”Monads and Effects“，”display_name“：”monad and Effect“，”publication_year“：2002，”publiction_date“：”2002-01-01“，”ids“：{”openalex“：”https://openalex.org/W2113109742“，”doi“：”https://doi.org/10.1007/3-540-45699-6_2“，”mag“：”2113109742“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-45699-6_2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5023252122“，”display_name“：”Nick Benton“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I1290206253“，”display_name“：”Microsoft（美国）“，”ror“：”https://ror.org/00d0nc645“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1290206253“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Nick Benton“，”raw _affiliation_strings“：【”Microsoft Research，USA“】，”affiliations“：[{”raw _affiliation_string“：”Microsoft Resulting，USA”，“institution_ids”：[“https://openalex.org/I1290206253“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5068339489“，”display_name“：”John Hughes“，”orcid“：”https://orcid.org/0000-0001-8042-0969}，“机构”：[{“id”：https://openalex.org/I66862912“，”display_name“：”Chalmers科技大学“，”ror“：”https://ror.org/040wg7k59“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I66862912“]}]，”国家“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”John Hughes“，”raw _affiliation_strings“：[“Chalmers Univ.，Sweden”]，“affiliations”：[{“raw_affilition_string”：“Chalmersen Univ.（瑞典）”，“institution_ids”：[“https://openalex.org/I66862912“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Eugenio Moggi“，”raw _ affiliation_strings“：[“DISI，Univ.di Genova，Geneva，Italy”]，”affiliation“：[{”raw _affiliation_string“：”DISI，UNIX di Genava，Genovahttps://openalex.org/I83816512“]}]}]，”countries_distinact_count“：3，”institutions_disticant_count”：3，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：3.568，”has_fulltext“：false，”cited_by_count d_percentile“：{“值”：0.946177，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：94，”max“：95}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“42”，“last_page”：“122”}，‘is_retracted’：false”，“is_paratext”：falsehttps://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9999，”subfield“：｛”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9929，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9877，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/haskell“，”display_name“：”Haskell“，”score“：0.9838935}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.510914}，{”id“：”https://openalex.org/keywords/monad网站“，”display_name“：”Monad（范畴理论）“，”score“：0.5073022}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.502722}，{”id“：”https://openalex.org/keywords/structuring网站“，”display_name“：”结构化“，”score“：0.46308857}，{”id“：”https://openalex.org/keywords/categorial-variable“，”display_name“：”类别变量“，”score“：0.42361474｝]，”concepts“：[｛”id“：”https://openalex.org/C2780624054，“wikidata”：https://www.wikidata.org/wiki/Q34010“，”display_name“：”Haskell“，”level“：3，”score“：0.9838935}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8777561}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.8428436}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.6879345}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.64460903}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.5437284}，{”id“：”https://openalex.org/C33959348，“wikidata”：https://www.wikidata.org/wiki/Q1630568“，”display_name“：”Monad（范畴理论）“，”level“：3，”score“：0.5073022}，{”id“：”https://openalex.org/C2775945657，“wikidata”：https://www.wikidata.org/wiki/Q381442“，”display_name“：”结构化“，”级别“：2，”分数“：0.46308857}，{”id“：”https://openalex.org/C5274069，“wikidata”：https://www.wikidata.org/wiki/Q2285707“，”display_name“：”类别变量“，”level“：2，”score“：0.42361474｝，｛”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.15399319}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.077810705}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-45699-6_2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Spring er Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“display_name”：“素质教育”，“id”：”https://metadata.un.org/sdg/4“，”score“：0.61}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：89，”referrenced_works“：【”https://openalex.org/W1479857408","https://openalex.org/W1491698270","https://openalex.org/W1520893111","https://openalex.org/W1532465792","https://openalex.org/W1545449210","https://openalex.org/W1552909716","https://openalex.org/W1553894716","https://openalex.org/W1554859476","https://openalex.org/W1577712560","https://openalex.org/W1578654632","https://openalex.org/W1580664042","https://openalex.org/W1585980631","https://openalex.org/W159715351","https://openalex.org/W1731357855","https://openalex.org/W1839902311","https://openalex.org/W1870682227","https://openalex.org/W1893810794","https://openalex.org/W1969661839","https://openalex.org/W1973030866","https://openalex.org/W1975575519","https://openalex.org/W1980476455","https://openalex.org/W1980939032","https://openalex.org/W1981311833","https://openalex.org/W1987421013","https://openalex.org/W1988824860","https://openalex.org/W1997143185","https://openalex.org/W1997644097","https://openalex.org/W1999336811","https://openalex.org/W2001218627","https://openalex.org/W2002529995","https://openalex.org/W2006543828","https://openalex.org/W2007270285","https://openalex.org/W2010959827","https://openalex.org/W2016408482","https://openalex.org/W2022949157","https://openalex.org/W2029894425","https://openalex.org/W2035746984","https://openalex.org/W2037984920","https://openalex.org/W2048921878","https://openalex.org/W2052822938","https://openalex.org/W2055341574","https://openalex.org/W2060662244","https://openalex.org/W2069107692","https://openalex.org/W2073904768","https://openalex.org/W2074756472","https://openalex.org/W2074802267","https://openalex.org/W2078944436","https://openalex.org/W2080726204","https://openalex.org/W2081896452","https://openalex.org/W2082919126","https://openalex.org/W2083357060","https://openalex.org/W2084804301","https://openalex.org/W2087875803","https://openalex.org/W2088735483","https://openalex.org/W2090337950","https://openalex.org/W2092367588","https://openalex.org/W2110135416","https://openalex.org/W2110435210","https://openalex.org/W2118002698","https://openalex.org/W2118227920","https://openalex.org/W2129224383","https://openalex.org/W2130872776","https://openalex.org/W2133979298","https://openalex.org/W2136202785","https://openalex.org/W2141576692","https://openalex.org/W2144488427","https://openalex.org/W2145101842","https://openalex.org/W2156438993","https://openalex.org/W2156876717","https://openalex.org/W2163626659","https://openalex.org/W2166051945","https://openalex.org/W2168529278","https://openalex.org/W2188944230","https://openalex.org/W2338036611","https://openalex.org/W2489678876","https://openalex.org/W2614279894","https://openalex.org/W2913347770","https://openalex.org/W2914693551","https://openalex.org/W2990518766","https://openalex.org/W3005233229","https://openalex.org/W3016921254","https://openalex.org/W3022507049","https://openalex.org/W4214538532","https://openalex.org/W4236657968","https://openalex.org/W4243839584","https://openalex.org/W4249733112网址","https://openalex.org/W583126019","https://openalex.org/W655501358","https://openalex.org/W87280658“]，”related_works“：[”https://openalex.org/W4312309273","https://openalex.org/W4255783807","https://openalex.org/W2913635267","https://openalex.org/W2547899303","https://openalex.org/W2517671451","https://openalex.org/W2113109742","https://openalex.org/W2099741881","https://openalex.org/W1587224678","https://openalex.org/W154014553","https://openalex.org/W1533419251“]，”abstract_inverted_index“：{”A“：[0]，”张力“：[1]，”in“：[2,96100]，”语言“：[3]，”设计“：[4]，”has“：[5,31]，”been“：[6,62]，”介于“：[7]，”simple“：[8]，”语义“：[9]，”on“：[10,23,24]，”the“：[11,25]，”one“：[12]，”hand“：[13]，”and“：[14,21,72,76,92,99110114]，“丰富”：[15]，“可能性”：[16]，“用于”：[17108]，“副作用”：[18]，“例外”：[19,77]，“处理“：[20,78]，”so“：[22]，”other。“：[26]，”The“：[27,87103]，”introduction“：[28]，”of“：[29,47]，”monad“：[30109]，”made“：[32]，”a“：[33,45]，”large“：[34]，”step“：[35]，”towards“：[36]，”recomciling“：[37]，”these“：[38]，”alternatives“。“：[39]，“First”：[40]，“proposed”：[41]，“by”：[42,54123]，“Moggi”：[43]，“as”：[44,69]，“way”：[46]，“structuring”：[48]，“semantical”：[49]，“descriptions”：[50]，“they”：[51118]，“were”：[52]，“approved”：[53]，“Wadler”：[55]，“to”：[56,64,79]，“structure”：[57]，“Haskell”：58]，“程序。“：[59]，”单数“：[60]，”have“：[61]，”used“：[63]，”solve“：/65]，”longed“：[66]，”problems“：[67]，”suse“：[68]，”adding“：[70]，”pointers“：[71]，”assignment“：[73]，”inter-language“：[74]，”working“：75]，”Haskell“：[80]，”without“：[81]，”conmission“：[82]，”its“：+83]，”pure“：[84]，“功能”：[85]，“语义”。“：[86]，”课程“：[88104]，”介绍“：[89]，”单子，“：[90]，”效果“：[91]，”例证“：[93]，”他们的“：[94]，”应用程序“：[95]，”编程“：[97]，”（Haskell）“：[98]，”编译“：[101]，“（MLj）。“：[102]，”呈现“：[105]，”类型化“：[106]，”元语言“：[107]，”相关“：[111]，”范畴“：[112]，”概念“：[113]，”然后“：[115]，”描述“：[116]，”如何“：[117]，”可以“：[119]，”是“：[120]，”进一步“：[121]，”精炼“：[122]，”引入“：[124]，”效果。“：[125]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2113109742“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：3}，{“年”：2021，”“cited_by_cunt”：1}，}“年“：2019，”“cited_by-count”“：4}，”“年”“：2018，”“引用_by_cont”“:2}，“年份”“：2017，”“：2013，”cited_by_count“：7}，{“年份”：2012，”cited_by_count”：1}]，”updated_date“：”2024-09-10T21:31:52.941359“，”创建日期“：”2016-06-24“}