`
tangtong
  • 浏览: 62491 次
  • 来自: ...
社区版块
存档分类
最新评论

Monad 资源

YoutubeHaskellIIS 
阅读更多

1. A video of monad lectures on Youtube

 

http://www.youtube.com/watch?v=9fohXBj2UEI

 

2.

http://flolac.iis.sinica.edu.tw/lambdawan/zh/taxonomy/term/86

 

 

3.

http://en.wikibooks.org/wiki/Haskell/Category_theory

分享到：
| fring with skype
评论
发表评论

您还没有登录,请您登录后再发表评论

相关推荐

    Android-Monad,像scala那样的android上的monad.zip

    Android-Monad的核心理念是利用Monad来管理状态和副作用，这在Android开发中尤其重要，因为Android应用程序往往需要处理复杂的用户交互、异步操作以及各种系统资源的管理。通过Monad，开发者可以更好地控制这些流程...

    区域：提供区域monad以安全地打开和使用稀缺资源

    总之，区域Monad是Haskell中管理稀缺资源的一种强大工具，它通过提供一种结构化的方式来控制资源的生命周期，确保资源的正确释放，从而防止资源泄漏和竞态条件。通过学习和应用区域Monad，Haskell开发者可以编写出更...

    monad-control：通过monad变压器进行提升控制操作，例如异常捕获

    Monad Control库是Haskell编程语言中的一个重要工具，它允许开发者在使用Monad Transformer堆栈时，进行高级控制操作，如异常处理、资源管理等。Monad Transformers是Haskell中一种强大的抽象，能够将不同类型的...

    grokking-monad：购买https：gum.cogrokking-monad在线阅读

    "Grokking Monad"很可能是一本旨在帮助程序员深入理解Monad的书籍或者在线资源，通过购买链接<https://gum.co/grokking-monad>可以获取。 Monad是一种抽象的计算模型，它允许我们在保持纯函数式编程风格的同时，...

    免费证明：“一个Monad证明全部”的资源

    标题中的“一个Monad证明全部”源自于Haskell社区的一个著名理念，它暗示了Monad在函数式编程中的强大威力。Monad是一种抽象概念，...总的来说，这个资源对于深入理解函数式编程和形式验证的交叉领域是一份宝贵的资料。

    TransformersStepByStep:monad 转换器教程

    这个名为"TransformersStepByStep: monad 转换器教程"的资源，很可能是为了帮助程序员深入理解Monad转换器的工作原理及其应用。 Monad在函数式编程中的主要作用是封装副作用，使得纯函数可以操作有状态或非纯的操作...

    task-monad：用于研究任务monad的仓库

    在Task Monad中，任务是可暂停和可恢复的，这有助于管理和调度资源，尤其是在需要并行或顺序执行多个异步操作的场景下。 在这个"task-monad"仓库中，我们可能会找到以下内容： 1. **源码实现**：仓库可能包含了...

    monhacko:用于 Hack 编程语言的 Monad

    对于想要学习和理解Monad在Hack中的实现的开发者来说，这是一个宝贵的资源。通过跟踪项目的进展，你可以深入理解如何将Monad的概念转化为实际的代码，以及如何在实践中解决具体的编程问题。 项目中的代码可能包括对...

    system:monad和API定义

    项目中的源代码可能包括了对系统资源的管理、控制流的组织，以及与其他系统组件交互的接口定义。开发者通过阅读和理解这些源代码，可以学习到如何在实际项目中应用Monad理念来构造复杂系统，以及如何设计和实现高效...

    fuckingmonads.com:monad 是什么样的——在 UIKonf 2015 的hackney 期间构建

    它接着说是一个“快速总结”，意味着这个资源可能提供了一个简洁但全面的介绍，帮助开发者快速理解Monad的基本概念和用途。 标签“CSS”可能表明这个项目或讨论与CSS（层叠样式表）有关，或者至少在某种程度上涉及...

    reasonably-priced:RúnarBjarnason提出的价格合理的Monad的组合应用程序体系结构

    这表明这个项目是一个开源项目，其中可能包含了RúnarBjarnason关于价格合理的Monad组合应用程序体系结构的源代码、文档和其他相关资源。 **详细知识点：** 1. **Monad**：Monad 是函数式编程中的一个核心概念，它...

    kategory,kotlin的函数数据类型和抽象.zip

    除了上述功能，`kategory`还包含许多其他实用工具，如Monoid（表示可结合的运算）、Monad（用于组合计算）以及Applicative Functor（在纯上下文中执行计算）。这些概念源自函数式编程语言，但在`kategory`中被很好地...

    coop：作为纯monad转换器的合作多线程

    `Monad Transformers` 可以将一个 `Monad` 放到另一个 `Monad` 上面，这样就可以组合不同的效果，如计算、错误处理和并发。在 `coop` 中，这些转换器使得我们可以在同一个计算中混合不同的 `Fiber` 效果，例如，一个...

    haskell学习最新资源：Beginning Haskell

    第六章“Knowing Your Clients Using Monads”（使用Monad了解你的客户）讨论了Monad的原理以及如何使用Monad处理副作用和状态管理。第七章“More Monads: Now for Recommendations”（更多的Monad：现在为推荐）...

    continuous-normalization:使用Delay monad评估Agda中的输入项

    虽然没有具体文件内容，但"continuous-normalization-master" 这个文件夹名可能包含了项目的源代码、文档、示例或其他资源，尤其是对于一个开源项目来说。"master"分支通常表示这是项目的主线，包含了最新的、稳定的...

    更高级别的db：Haskell库，它在leveldb-haskell之上提供了丰富的monadic API。 包括简单但灵活的scanmapreduce机制以及为您管理数据库上下文的monad转换器

    例如，开发者可以将数据库操作与IO Monad结合，同时管理错误处理（如Error Monad）和资源管理（如ResourceT Monad），从而在处理数据库操作的同时，实现复杂的控制流程。 **Scan, Map, Reduce机制** `higher-...

    A Painless introduction to monads

    `bind`是Monads最重要的特性之一，它为每个Monad提供了独特的定义，从而赋予Monad特有的行为特征。 #### 为什么使用Monads？ Monads主要服务于两个目的： 1. **封装常见的计算模式**：大多数Monads用于表达频繁...

    Loicmdivad:云中的事件流和Monad，@ DivLoic个人页面:man_technologist_medium-dark_skin_tone::tropical_drink:

    DIVAD的所有工作，包括源代码、文章、演讲稿、笔记等，对于想要深入学习云事件流、Monad以及相关技术的人来说，这是一个宝贵的资源库。要深入学习，可以解压文件并探索其中的内容，如阅读Markdown格式的文章、查看...

Magicbox
Global site tag (gtag.js) - Google Analytics