wadler-monads

preview
共22个文件
ml：5个
mli：3个
txt：2个
OCaml
需积分: 9 0 下载量 58 浏览量 2021-05-07 23:56:45 上传 评论 收藏 48KB ZIP 举报
资源详情
资源评论
评论 收藏
每天痛苦与更好的
  • 粉丝: 32
  • 资源: 4536
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

相关推荐

zip

dry-monads-sorbet:冰糕类型提示干

干单子冰糕 冰糕类型提示为Dry :: Monads。 这个gem非常小，它打开了Dry::Monads::Result和Dry::Monads::Maybe添加类的成员，这些成员随后在捆绑的.rbi文件中被引用为dry-monads gem。 捆绑的rbi批注是通过gem中包含的rake任务安装/更新的。 安装 将宝石添加到您的Gemfile中： gem 'dry-monads-sorb
zip

ResultMonad:使用 monads 和 linq 玩 aorund

结果单子 使用 monads 和 linq 玩 aorund 参考： : 参考： : static void Main(string[] args) { // unit, wrap, do not double wrap // bind -- "apply", dude called it On
zip

monads_in_ruby:在Ruby中玩单子

monads_in_ruby 在Ruby中玩单子
zip

cpp14monadworkshop:C++14 monads 研讨会材料

使用 C++14 的 monad 研讨会 马德里 C/C++ 聚会，2015 年 1 月 15 日 在研讨会期间，我们将在 C++14 的背景下探索一元理论的基础知识。 格式基于一系列 5 分钟的练习，预计服务员将在此过程中完成，并提供解决方案并公开评论。 先决条件 你应该能相当流利地掌握一些 2003 年后的 C++ 东西 auto std::function ，lambda 函数，通用 la
zip

effects-without-monads-but-with-dotty

基于Oleg Kiselyov的以下文章：。 另请参见 本文并没有真正提出一种处理效果的新颖方法，而是以这个问题为起点来讨论如何将嵌入式DSL应用到这个问题上。 它声称单子界面不仅无用，甚至有害，因为支持它会减少可能的效果解释器的空间。 这用两个特定的解释器说明：对表达式进行静态分析而不评估它们（抽象解释），以及从表达式生成（可能更有效）代码。 本文使用MetaOCaml来实现这些想法。 我的
zip

cf-paperclub-monads:我向CloudFlare的纸俱乐部提供的演示文稿的来源和示例

在CloudFlare的Paper Club上，我来自格拉斯哥大学的Philip Wadler的了演讲。 该存储库包含演示文稿中使用的示例以及幻灯片的来源。 建立简报： git submodule update --init --recursive cabal install pandoc ...
zip

paiges, Wadler prettier打印机的一个实现.zip

paiges, Wadler prettier打印机的一个实现 Paiges概述Paiges是 "一个更漂亮的打印机"的一个实现。当你发现自己想要控制行长度( 比如 )的文本或者源代码时，库很有用。 段落换行) 。Paiges是对 Paige合成器的引用，它...
pdf

[Java泛型和集合].(Java.Generics.and.Collections).Maurice.Naftalin&Philip.Wadler.文字版

[Java泛型和集合].(Java.Generics.and.Collections).Maurice.Naftalin&Philip.Wadler.文字版
star 5星 · 资源好评率100%
zip

paiges：Wadler的漂亮打印机的实现

paiges：Wadler的漂亮打印机的实现
zip

understanding-monads:用 clojure 中的例子解释 monad

这个项目旨在通过具体的例子来解释函数式编程语言中的 monad 是什么。 我从丹·皮波尼 (Dan Piponi) 的一篇优秀文章中汲取灵感，可参考： 。
zip

list-producing-monads:http的基准

用monad构建列表 其中包含属于博客帖子的代码，基准和分析，其中包含了来自想法。 和 。 图表 该图省略了一些效率较低的变体，从而使细节更清晰可见。 基准结果 该表忽略了具有二次运行时间的那些变体，因为我不想在超过1000的列表上运行它们。 变体 10 ^ 0 10 ^ 1 10 ^ 2 10 ^ 3 10 ^ 4 10 ^ 5 10 ^ 6 accumReverse 37ns
zip

js-solver-list-state-monads

一个演示项目，用于练习在 JS 中使用 State 和 List monad。 实施和想法受到以下精彩文章的启发： 概述 该方案基本上解决了以下问题 send + more ------ money 等式，其中每个字母代表一个不同的数字。 怎么跑 # first install dependencies with npm install # then run npm run
zip

monads：用于水晶的monads

monads：用于水晶的monads
zip

dry-monads：惯用Ruby中有用的普通monads

干单子 链接 支持的Ruby版本 该库正式支持以下Ruby版本： MRI> = 2.5 jruby> = 9.2 执照 请参阅LICENSE文件。
pdf

[Naftalin_Wadler_2006]_Java_Generics_and_Collections.pdf

英文资源，_Java_Generics_and_Collections
zip

purescript-prettier-printer:在PureScript中实现“更漂亮的打印机”（Wadler 2003）

purescript-prettier-printer PureScript中的实现。
zip

prettier:WadlerLeijen漂亮打印机具有正确的对齐方式和SQL

正确对齐的Wadler / Leijen Pretty打印机 使用Philip Wadler的漂亮打印机进行实验，以增加对右对齐的支持，这对SQL很有用。 由 Jibson刺激的工作，由Raphael'kena'Poss编写的原型hs代码，准备了用于和的算法。 ...
zip

DoctorPretty:Wadler的“更漂亮的打印机”嵌入式Swift的漂亮打印机DSL

漂亮医生从移植的的Swift实现这是什么漂亮的打印机是解析器的双重功能-进行任意的AST并将其输出到String。 该库是组合器和称为Doc的原语的集合，用于描述漂亮地打印一些数据，就像解析器组合器库提供了组合器和原语...
pdf

Java泛型和集合-英文版

Java泛型和集合 英文版 Java Generics and Collections by Maurice Naftalin and Philip Wadler
pdf

A Painless introduction to monads

学习Haskell学到后期，Monads是必然要碰到的纸老虎。很多人很难理解Monads的概念，更谈不上能写出好的Monads的程序。这牌文章能比较轻松的理解和使用Monads。做为Monads的入门，推荐大伙看看。
zip

haxe-monads:基于monax的monad的集合

六单子 基于的monad的。 有关用法，请参见页面。 这些单子大多数都与排序动作有关，这些动作需要时间和依赖以及上一个动作的结果。 来自期货或信号在许多monad中使用。 这些是我在openfl中经常使用的monad。
jar

algo.monads-0.1.4-sources.jar

官方版本，亲测可用
jar

algo.monads-0.1.0-sources.jar

官方版本，亲测可用
zip

wishful, 在围棋中，monads的尝试.zip

wishful, 在围棋中，monads的尝试 go lang ("代数围棋规范")这里项目指定公共代数结构的互操作性：半群Monoid函子应用链Monad有用有用的库提供了期望的实际实现。常规代数是一组值，一组运算符被关闭，一些定律必须遵守。每个代
zip

halogen-form:卤素的形式

这实现了Cooper，Lindley，Wadler和Yallop的论文卤素包装。 介绍 组件 Halogen.Form.component提供一个Halogen组件，用于将表单放入HTML。 它的类型是： component :: forall error value m . H. Component HH. ...
zip

text.pretty-printing:[未维护]

Wadler 的漂亮打印机的实现； 一种支持多种布局的高效代数，为可用屏幕空间选择最佳布局。 例子 var { pretty , text , bracket } = require ( 'text.pretty-printing' ) ; var { Extractor } = require ( 'adt-...
zip

purescript-dodo-printer:一台合适的打印机

该库实现了Wadler / Leijen风格的许多其他漂亮打印机的等效功能，但所有名称都发生了无故更改。 它还提供了很好的ANSI集成。 入门 Dodo的核心类型是Doc ，它代表一个文档。 它具有一个表示注释的类型参数。 注释使...
zip

fp-for-business:NICTA 研讨会系列的演讲

随后的进展包括 LISP (McCarthy 1960) 和里程碑式的出版物，例如，Why Functional Programming Matters (Hughes, 1990) 和 The Essence of Functional Programming (Wadler, 1992)。 后来这个想法似乎被遗忘了，...
zip

foundational-knowledge-for-programmers:有关程序员基础知识的资源列表（可能持续数十年）

Wadler Agda中的编程语言基础》 范畴论 B. Milewski编写的程序员分类理论 类别编程（MIT） 构图的七个草图：对应用范畴论的邀请 类型理论 命题作为类型 小打字机 2010年俄勒冈编程语言暑期学校 证明理论 小小...