搜索结果
跳转到导航
跳转到搜索
页面标题匹配
- {{信息|1=本頁正值覆寫，倘要翻閱前版，則請移步 [http://en.wikibooks.org/w/index.php?title=Haskell/Understanding_monads&oldid=933545 斯處]。}} {{Haskell微型目录|chapter=Monads}} …32 KB（4,976个字） - 2019年11月23日 (六) 12:32
- …述 Haskell 里应用的一个概念，范畴论。因此 Haskell 代码的展示将会伴随其对应的数学定义，为了让读者可以直观地理解范畴论的概念以及它与 Haskell 的关系，这种对应可能不那么绝对的严谨。 * '''态射'''，每个态射将两个对象（源对象和目标对象）连接在一起（它们有时被称为箭头（arrows），但本文避免使用该术语，因为它在 Haskell 中具有其他涵义。）如果 ''f'' 是源对象 ''A'' 到目标对象 ''B'' 的态射，写作 <math>f : A \to B</math>。 …8 KB（613个字） - 2019年5月10日 (五) 11:36
- {{Haskell微型目录|chapter=Haskell基础}} == Haskell文件 == …23 KB（2,590个字） - 2016年8月9日 (二) 05:22
- ''(本章的所有例子都可以写进Haskell源代码文件并利用GHC或Hugs加载进行求值运算。请注意不要输入开头的提示符，如果代码前面有提示符，可以在GHCi等环境中输入；如果没有，则写进文件再运 {{Haskell迷你目录|chapter=Haskell基础}} …24 KB（2,378个字） - 2014年4月3日 (四) 10:12
页面内容匹配
- …述 Haskell 里应用的一个概念，范畴论。因此 Haskell 代码的展示将会伴随其对应的数学定义，为了让读者可以直观地理解范畴论的概念以及它与 Haskell 的关系，这种对应可能不那么绝对的严谨。 * '''态射'''，每个态射将两个对象（源对象和目标对象）连接在一起（它们有时被称为箭头（arrows），但本文避免使用该术语，因为它在 Haskell 中具有其他涵义。）如果 ''f'' 是源对象 ''A'' 到目标对象 ''B'' 的态射，写作 <math>f : A \to B</math>。 …8 KB（613个字） - 2019年5月10日 (五) 11:36
- {{Haskell微型目录|chapter=Haskell基础}} == Haskell文件 == …23 KB（2,590个字） - 2016年8月9日 (二) 05:22
- {{信息|1=本頁正值覆寫，倘要翻閱前版，則請移步 [http://en.wikibooks.org/w/index.php?title=Haskell/Understanding_monads&oldid=933545 斯處]。}} {{Haskell微型目录|chapter=Monads}} …32 KB（4,976个字） - 2019年11月23日 (六) 12:32
- ''(本章的所有例子都可以写进Haskell源代码文件并利用GHC或Hugs加载进行求值运算。请注意不要输入开头的提示符，如果代码前面有提示符，可以在GHCi等环境中输入；如果没有，则写进文件再运 {{Haskell迷你目录|chapter=Haskell基础}} …24 KB（2,378个字） - 2014年4月3日 (四) 10:12