注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. jabz:JavaScript和TypeScript的强大实用的功能抽象。 函子，单声道，可遍历和所有爵士乐-源码

  2. 贾布兹 强大而实用Javascr ipt抽象。 函子，单子，可折叠，可遍历以及所有爵士乐。 目标和特点 使用上尽可能简单方便 允许执行性能 Typescr ipt支持 包括电池。 提供常用实例和常用实用程序功能的实现。 注记 随附ES2015模块格式的文件，可进行树状摇动 有关规范设计的更详细介绍以及与Fantasy Land的比较，请参阅。 安装 npm install funkia/jabz 文献资料 请参阅和下面的示例。 请注意，抽象规范尚未正式写下来。 但是源代码包含Typescr

  3. 所属分类：其它

    • 发布日期：2021-03-26
    • 文件大小：8388608
    • 提供者：weixin_42134144

  1. tenet-源码

  2. 宗旨 先简单做个视频，大家大概了解怎么回事，我之后会补上详细教程的。 给个星星再走啊朋友。 这个系统是我写出来让大家赚钱补充家用的。这个系统我一直在维护和升级，也希望关注，想为我们自己程序员做贡献的小伙伴加入这个项目，一起让这个系统更好。 可以留言说说你想要的功能或者建议。我会努力改进让大家用的更爽的。 这个系统开发出来，不是为了盈利或其他的，就是单纯想让各位快速接单子，赢取白富美，走向人生巅峰。也希望小伙伴也可以加入开发这个团队中来。

  3. 所属分类：其它

    • 发布日期：2021-03-25
    • 文件大小：66060288
    • 提供者：weixin_42133861

  1. ScalaKittens:Scala Kittens，一些有用的类，一些实验代码-源码

  2. Scala小猫项目 该项目分为多个版本：scala210，scala211，scala212。 这两个Scala版本中的库有所不同。 在这个项目中，我存储了一些典型问题的小型解决方案，这些解决方案可以自由获取，而且对于构建“图书馆”而言太小了。 Scala（Scala）小猫有这种东西的例子，单线。 也许应该将它们付诸实践。 当前有Caching，FS，OS，ClientHttpRequest，Result和一些示例。 结果 此处的演示文稿： : 这是我的scalaz.Validatin

  3. 所属分类：其它

    • 发布日期：2021-03-22
    • 文件大小：7340032
    • 提供者：weixin_42120563

  1. katamaran-源码

  2. Coq中的深度嵌入式MicroSail 是一种特定于域的语言，用于指定处理器的指令集体系结构（ISA）。随附的Sail工具会对Sail代码进行类型检查，并具有针对可执行模拟器和定理证明者的多个后端。所有定理证明者的后端都输出浅薄的，嵌入了Desugared Sail的嵌入。 该存储库包含MicroSail的开发，这是Sail在Coq中的深层嵌入，我们希望将其开发成完整的Sail后端。它要求Coq 8.8或更高版本。 动机 深度嵌入使我们能够开发不同的证明方法和自动化技术。具体来说，我们为嵌入式

  3. 所属分类：其它

    • 发布日期：2021-03-21
    • 文件大小：980992
    • 提供者：weixin_42116794

  1. lean-error-location-源码

  2. 一个小的库，提供宏以将源位置添加到单子错误处理中。 该库导出两个宏： __lineNum__ ：被下面的CodeLocation结构的实例替换。 withCL[...] ：需要一个参数(f: CodeLocation -> α)并将其替换为(f __lineNum__) 。 例如，它还导出mkIOUserError ，这是一个包装器，用于构造带有代码位置的IO.userError。用法示例： throw withCL[mkIOUserError "error"] -将返回IO.user

  3. 所属分类：其它

    • 发布日期：2021-03-20
    • 文件大小：4096
    • 提供者：weixin_42131443

  1. effects-without-monads-but-with-dotty-源码

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

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：16384
    • 提供者：weixin_42139302

  1. enderdragon:MinecraftCSS3D版本-源码

  2. MinecraftCSS3D版本 去做 照明， 红石头 命令块，聊天 飞行 项目 标题画面 声音 手，库存 设定值 贡献 :smiling_face_with_smiling_eyes: 添加块 将块纹理上传到/textures 。 将一个对象添加到blockList.js ： id ：区块的ID pic ：块的主要纹理，如果multiside为false，则默认为块纹理 name ：块 multiside ：如果块的每一侧都有不同的纹理 sides ：每个块侧面的块纹理。 如果多mult

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：1048576
    • 提供者：weixin_42138788

  1. 核心：Most.js核心事件流-源码

  2. ________________________________ ___ |/ /_ __ \_ ___/__ __/ __ /|_/ /_ / / /____ \__ / _ / / / / /_/ /____/ /_ / /_/ /_/ \____/______/ /_/ 单子事件流 高性能响应式事件流编程，可为动力。 具体来说， most/core在可摇树的软件包中以更精简，仅功能的咖喱API的形式提供了经过了久经考验的高性能体系结构的most

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：375808
    • 提供者：weixin_42132056

  1. GPipe-Core：新GPipe的核心库，封装OpenGl并提供类型安全的最小库-源码

  2. GPipe 2 这是GPipe 2的主要存储库，GPipe 2是封装OpenGL并提供最小类型安全接口的库。 查看发布公告， 或继续阅读本教程。 实例和教程 托管着五个系列的教程，用于学习GPipe 2的功能（请参见下面的目录）。 您将从一个简单的三角形示例开始，然后逐步介绍GPipe公开的OpenGL的所有封装功能。 范例程式码 克隆并使用 $ stack build 。 这是下面第1部分中的示例。 使用GPipe在Haskell中进行GPU编程 你好三角形！ 上下文 渲染-这就是全部

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：86016
    • 提供者：weixin_42122340

  1. 编码课程-源码

  2. 编码课 去做 C＃中的Monad 列出单子 错误单子 单声道组成 IO monad？ 作家monad（记录）？ 读者单子？ 异步monad？

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：7168
    • 提供者：weixin_42151373

  1. 洋葱：用于洋葱路由的Rust库-源码

  2. 葱属 葱属单子叶开花植物，包括数百种，包括栽培洋葱，大蒜，葱，葱，韭菜和细香葱。 — 葱属是用Rust编写的洋葱路由库。 它允许在从提供的池中选择的对等点之间通过使用分层加密构建的隧道进行通信。 除了用作Rust库之外，Allium还可以作为独立的守护程序运行，并通过unix套接字进行控制。 建立和运行 需要使用Rust和Cargo（1.45.0或更高版本）。 如果尚未安装，请同时安装 。 克隆存储库后，使用以下命令构建并运行项目： $ cargo run --release -- [ARG

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：836608
    • 提供者：weixin_42126749

  1. chemicl：Clojure中的一种试剂实现-源码

  2. «安全的排序–危地马拉的死角» 一个基于Reagents的可组合并发的Clojure库。 用法 API 试剂是经过优化的并发程序，可以将其合并以形成更大的并发程序。 试剂通过共享内存或消息传递进行通信和协调。 单晶衬底 试剂在实现轻量级穿线的单子基板上运行。 除了core.async ，我们不会尝试将您的普通函数转换为monadic（CPS）形式。 您必须自己编写单子程序。 chemicl.concurrency为您提供了可与常规active.clojure.monad设施结合使用的acti

  3. 所属分类：其它

    • 发布日期：2021-02-19
    • 文件大小：99328
    • 提供者：weixin_42103128

  1. 玄武岩：这是BAOBAB服务器的“顶层”。 它实现了API-源码

  2. \ page BASALT BASALT 玄武岩 BAOBAB服务器的一部分，它是Rift Valley平台的一部分 介绍 BASALT是Rift Valley平台的和扩展框架。 将其视为的层的“一部分”。 客户端SDK将提供“第二部分”。 \ ref ANDISOL是层的“公开面Kong”。 扩充功能 BASALT允许创建 这些是放在已知目录中的相当简单PHP可执行文件。 BASALT将这些与 URI中的插件参数进行匹配，并将 HTTP调用路由到指定的插件，返回插件处理的结果。 插件是

  3. 所属分类：其它

    • 发布日期：2021-02-16
    • 文件大小：119537664
    • 提供者：weixin_42128315

  1. bind-rs：用于在锈蚀中试用MTL样式的monad的板条箱-源码

  2. 绑定器 一箱用于试验锈蚀MTL样式的单子 为什么？ Monad多态性允许我们描述计算而无需先指定具体解释。 例如，如果您想重载函数以使其对rust中的同步代码和async / await代码均适用，则此功能很有用。 如何？ 由于没有HKT生锈，我们可以借鉴的最接近monad的实现是OCaml。 此板条箱在精神上遵循OCaml monad设计，但使用防锈特征而不是模块。 基本上，要向类型系统声明某个类型T是monad，我们首先需要创建一个类型TM作为monad T的“命名空间”。 然后，名

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：15360
    • 提供者：weixin_42165712

  1. 语境-源码

  2. 语境 语境 取决于或与构成事件，陈述或想法的设置的环境有关。 关于 该库提供了一个特殊的多态性/协议系统。 它的开发主要是由在C ++中使用monad以及在Haskell和其他一些语言中实现通用性的困难所致。 但是，该实现远远超出了monad，并且包括以下协议 半群 Monoids 函子 应用函子 单子 共鸣 类别 箭 快速开始 目标 入门 要求 ** Sytnax类比 let ( 3 , []( auto x){ return let ( 4 , []( auto y){ return

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：66560
    • 提供者：weixin_42151729

  1. 单子-源码

  2. 单子

  3. 所属分类：其它

    • 发布日期：2021-02-12
    • 文件大小：2048
    • 提供者：weixin_42099815

  1. TsMonad：专为TypeScript设计的Little monad库-源码

  2. TsMonad 一个简单实用的monad库 为Typescr ipt设计 目的是限制由于未处理的空值导致的错误 状态 抱歉，我没有时间积极维护这个项目。 很高兴对某些人有所帮助，并感谢大家的贡献！ 我并不是要寻求维护者来接任-当然，如果您想继续开发TsMonad，请随意。 描述 该库提供了Haskell之外最有用的monad的实现（主观上，这可能是Maybe和Either）。 它还提供了模式匹配的强类型仿真，以帮助增强程序的正确性。 我不会在这里尝试尝试monad教程。 在线上有很多-我建

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：32768
    • 提供者：weixin_42121905

  1. monad：基于TailwindCSS和Atomic Design原理的一些可重用的Vue.js UI组件。 可通过StorybookJS访问-源码

  2. 单子 ！ 警告 ！ Monad是实验性的，并且非常在制品 一些基于可重用Vue.js UI组件，基于原则。 可通过 / 。 这是作为了解StorybookJS的练习开始的。 UI组件 头像 徽章 纽扣 按钮下拉 卡 导航栏 表（包括过滤，排序） 故事书环境 使用Storybook，您可以独立测试和开发UI组件。 此软件包中安装了以下组件： 文件 旋钮 辅助功能 视口 安装并启动 使用npm install或yarn install安装依赖项。 使用npm run storybook或yarn

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：667648
    • 提供者：weixin_42144707

  1. wc-menu-wrapper：一个Web组件，用于包装HTML元素并从中形成下拉菜单-源码

  2. wc-menu-wrapper 一个Web组件，用于包装HTML元素并从中形成一个下拉菜单。 现场演示 产品特点 Wc-menu-wrapper是一个不使用影子DOM的独立香草JS Web组件。 组件功能包括： 内容不可知：菜单项应能够包含任何HTML 可嵌套的：允许创建通用的菜单子菜单结构 菜单“放下”方向：向下或向右 初始菜单项位置：底部或右侧 菜单切换方法：单击或悬停 用法 通过向其分配标题类来创建菜单标题容器 通过将菜单项容器分配给菜单项容器来创建菜单项容器 给班级增加风格 在

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：21504
    • 提供者：weixin_42105169

  1. 每个：宏库，它将本机命令式语法转换为scalaz的单子表达式-源码

  2. 每个：宏库，它将本机命令式语法转换为scalaz的单子表达式

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：28672
    • 提供者：weixin_42116585
« 12 3 »