首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    一些范畴论上的概念

    图中,范畴C1和范畴c2之间有映射关系,C1中Int映射到C2List[Int],C1中String映射到C2List[String],C1中的关系态射Int -> String 也映射到 C2中的关系...也就是说,一个范畴内部的所有元素可以映射为另一个范畴的元素,且元素间的关系也可以映射为另一范畴中的元素间的关系,则设为这两个范畴之间存在映射。所谓函子就是表示两个范畴之间的映射。...这表达了一个范畴的元素可以被映射为另一个范畴的元素 我们看下Haskell中map函数的定义: map :: (a -> b) -> [a] -> [b] 把我们上面的Int String的例子代入,配合柯里化的概念可以得出...接下来看下在自函子的范畴上,怎样结合幺半群的定义得出Monad 假设我们有个cube函数,它计算一个数的三次方: cube :: Number -> Number 现在我们想在其返回值上添加一些调试信息...有什么办法能消除这种不兼容?结合前面所述,cube是一个自函数,元组(Number,String)在Hask范畴是一个自函子 (这个说法看起来并不准确,(?

    8510

    函子到底是什么?ApplicativeMonad

    也就是说,如果我们要将普通函数应用到一个有盒子上下文包裹的值,那么我们首先需要定义一个叫Functor的数据类型,在这个数据类型中需要定义如何使用map或fmap来应用这个普通函数。...image.png fmap的输入参数是a->b函数,在我们这个案例中是(+3),然后定义一个函子Functor,这里是Haskell的Just 2,最后返回一个新的函子,在我们案例中,使用Haskell...函数identity是一个自函数的特例,它接收什么参数就返回什么参数,所以入参和返回值不仅类型一致,而且值也相同。...image.png 图中范畴C1和范畴C2之间有映射关系,C1中Int映射到C2中的List[Int],C1中String映射到C2中的List[String]。...有什么好办法能消除这种不兼容性?

    4.4K30

    在java的方法中定义一个常量_c语言中常量和常量表达式的区别

    大家好,又见面了,我是你们的朋友全栈君。...如果可能,修改getIndex()方法,使其返回枚举而不是整数.如果无法做到这一点,则需要将索引映射到枚举元素: 鉴于以下枚举: public enum Index { ONE, TWO, THREE...()]) case ONE : … break; case TWO : … break; case THREE : … break; } 请注意,如果您尝试访问枚举中大于枚举元素数的索引(例如,在上面的示例中...我将表达式Index.values()[getIndex()]封装到类似于valueOf(int index)的枚举方法中,类似于默认的valueOf(String s).然后,您还可以在那里处理有效的数组索引检查...return REG; } if (index >= values().length) { return INVALID; } return values()[index]; } } 这仅是一个示例

    1.1K10

    Linux 内核定时器实验

    在使用内核定时器的时候要注意一点,内核定时器并不是周期 性运行的,超时以后就会自动关闭,因此如果想要实现周期性定时,那么就需要在定时处理函 数中重新开启定时器。...定义好定时器以后还需要通过一系列的 API 函数来初始化此定时器,这些函数如下: 1、 init_timer 函数 init_timer 函数负责初始化 timer_list 类型变量,当我们定义了一个...工程创建好以后新建 timer.c 文件. 第 38~50 行,定时器设备结构体,在 48 行定义了一个定时器成员变量 timer。...第 147~162 行,函数 timer_function,定时器服务函数,此函有一个参数 arg,在本例程中 arg 参数就是 timerdev 的地址,这样通过 arg 参数就可以访问到设备结构体。...在此函数中并没有调用 timer_add 函数来开启定时器,因此定时器默认是关闭的,除非应用程序 发送打开命令。

    2.2K10

    国产软硬件龙芯系列迅为2K1000开发板配置 nand flash

    pmon 支持俩种接口类型的 nand flash,一个是 nand 控制器接口,一个是 spi 接口。龙芯核心板上板载了一个 nand 控制器接口的 flash。...在 pmon 默认的 bsp 中,默认添加了代码 select nand,所以这里我们不必要在添加代码 select nand,而select 指定的是后面的参数 nand 被选中,选中了 nand 参数以后...因为 file 指定的文件编译与否取决于后面的参数有没有被选中,needs-flag 表示为该文件生成头文件。...的管教复用设置为 NAND,,如果没用定义这俩个宏定义,就将复用关系设置为 GPIO,如下图所示: 如果定义了这俩个宏定义,接着就会调用 ls2k_nand_init 函数来初始化 nand,我们跳转到...函 数对环境变量 mtdparts 进行判断,mtdparts 环境变量在 Targets/LS2K/include/pmon_target.h 中定义, 如 果 环 境 变 量 mtdparts 中

    94920

    深入理解JavaScript函数式编程

    //模拟map函数 对数组中对每一个元素遍历改变每一个元素的值 使用const 不希望函数被修改定义为常量 const map = (array, fn) => { let results =...,而是由函子完成 函子就是一个实现了map的契约对象 可以把函子想象成一个盒子,这个盒子里面封装了一个值 想要处理盒子中的值,需要盒子的map方法传递一个处理值的函数(纯函数),由这个函数来对值进行处理...如下代码,定义两个函子,一个处理正确的结果,一个处理异常的结果,异常的处理直接返回this class Left { constructor(value) { this....IO 函子中的_value是一个函数,这里把函数作为值来处理;IO函子可以把不纯的动作存储到_value中,延迟执行这个不纯的操作(惰性执行),包装当前的操作把不纯的操作交个调用者处理 //IO 函子...柯里化函数可以把多个参数的函数转换成只有一个参数的函数,通过组合产生功能更强大的函数 柯里化让函数变的更灵活,让函数的粒度更小 函数可以看做一个处理数据的管道,管道中输入参数 x,在管道中对数据处理后得到结果

    4.3K30

    泛函编程(16)-泛函状态-Functional State

    在上节我们提到过 type Rand[+A] = RNG => (A, RNG),Rand是一个随意数产生函数。由于Rand是个类型,一个函数类型,所以可以被当作参数或者返回值来使用。...Rand就是State的一个特殊案例:type Rand[+A] = State[RNG, +A] 。我们称State为状态行为,即S => (A,S)是一个定义状态变迁方式的函数。...State类型的状态变迁机制就是通过状态行为函数来确定的。...注意状态行为函数run是State类的内部成员,我们有针对性的把一个State的状态变迁机制通过在构建State类时作为参数注入。然后产生的State实例就会按照我们期待的那样进行状态变迁了。...sugar)for-comprehension让我们俨然进入了一个泛函世界,好像有了一种兴奋的感觉。

    913100

    函数式编程简介

    在函数式编程中,函数是第一类对象,意思是说一个函数,既可以作为其它函数的参数(输入值),也可以从函数中返回(输入值),被修改或者被分配给一个变量。...可以归结为面向过程编程,把复杂任务分解成简单的任务 如下面一个计算 (1 + 2) * 3 - 4 使用传统的编程方式 var a = 1 + 2; var b = a * 3; var c = b -...) 3.没有副作用,不修改外部变量的值,仅仅返回一个新的值,无其它行为 4.不修改状态,不修改系统变量,状态不能保存在变量中,函数式编程使用参数来保存状态,比如递归。...函数组合 (Composition) 函数式编程的一个特点是通过串联函数来求值。然而,随着串联函数数量的增多,代码的可读性就会不断下降。函数组合就是用来解决这个问题的方法。...***模式匹配 (Pattern matching)**模式匹配是指可以为一个函数定义多个版本,通过传入不同参数来调用对应的函数。

    65830

    泛函编程(15)-泛函状态-随意数产生器

    对于OOP程序员来说,泛函状态变迁(functional state transition)是一个陌生的课题。泛函状态变迁是通过泛函状态数据类型(functional state)来实现的。...State是一个出现在泛函编程里的类型(type)。...与其它数据类型一样,State同样需要自身的一套泛函操作函数和组合函数(combinators),我们将在以下章节中讨论有关State数据类型的设计方案。      ...这样看来随意数产生器就是一个函数类型,我们可以把产生器当作函数的参数或者返回值来使用。...我是说现在感觉编程已经变成了好像高中做数学题一样:拿到一个函数描述就开始想办法用什么其它现有的函数来解决;然后匹配一下类型,找找以前的例子,等等。。。,完全没有感觉到是在编写计算机程序。

    890100

    泛函编程(23)-泛函数据类型-Monad

    它不但涵盖了所有基础类型(primitive types)的泛函行为及操作,而且任何高阶类或者自定义类一旦具备Monad特性就可以与任何类型的Monad实例一样在泛函编程中共同提供一套通用的泛函编程方式...这样我们可以把Monoid视为一个抽象数据模型,在泛函算法中使用特殊的Monoid实例就可以达到预期的效果而不需要修改算法。...这样我们可以在不同的组件库中对同类操作共同使用这些通用的类型了。让我们先看看以下的一个抽象过程: 我们在前面讨论过一些数据类型。...不同的还是具体施用受体的数据类型。看来我们还是因为各种数据类型的不同而重复编写了map2组件。我们应该想办法一次实现map2后让所有数据类型实例都可以使用,从而彻底避免重复编码。...可以肯定的是这些办法一定跟共性抽象有关。   在前面那些章节的讨论中我们一直针对某些数据类型的特性设计最基本的操作函数或组件。因为各种数据类型的不同我们重复编写了map2组件。

    84780

    【C语言----函数详解】

    引言 在C语言编程中,函数扮演着至关重要的角色。它如同乐高积木,将复杂的程序分解成一个个独 立、可重复使用的模块,使代码更加简洁、易读、易维护。...函数的声明 函数声明告诉编译器函数的名称、返回类型和参数列表,以便在函数调用之前进行类型检查。函 声明通常放在头文件 (.h) 中。...// 声明 add 函数 int add(int a, int b); 三、函数的调用 函数调用是指使用函数名和实际参数来执行函数。实际参数的值会传递给函数定义中的形式参数。...函数内部对形式参数的修改不会影响实际参数。 地址传递: 将实际参数的地址传递给形式参数。函数内部可以通过指针访问和修改实际参数的值。...希望读者能够通过本文的学习,对C语言函数有一个更深入的 理解,并能够灵活运用函数编写出更加高效、简洁的代码。

    11700

    【STM32H7教程】第20章 STM32H7的GPIO应用之无源蜂鸣器

    开发板是采用的有源蜂鸣器,需要PWM驱动,而截至本章节还没有讲到PWM,会在34章节专门为大家讲解,程序中是通过一个宏定义控制使能和关闭,所以对于初学者来说,当前阶段仅需了解到使能和关闭方法即可,后面学习到...而BEEP_KeyTone是基于BEEP_Start实现的,直接调用的BEEP_Start(5, 1, 1);       /* 鸣叫50ms,停10ms, 1次 */ 20.4.1 宏定义设置 此文件的开头有一个宏定义选择...条件编译实现了一个无源蜂鸣器的初始化,配置引脚为推挽输出模式。由于V7开发板使用的无源蜂鸣器,所有没有开启宏定义BEEP_HAVE_POWER。...条件编译实现了一个无源蜂鸣器的初始化,配置引脚为推挽输出模式。由于V7开发板使用的无源蜂鸣器,所有没有开启宏定义BEEP_HAVE_POWER。...第2步:根据自己使用的蜂鸣器驱动引脚和频率,修改下面的宏定义即可 #ifdef BEEP_HAVE_POWER /* 有源蜂鸣器 */ /* PA8 */ #define

    1.5K30

    XYG3型泛函在ORCA中的使用

    XYG3型泛函在ORCA中的使用 本篇文章中我们讨论XYG3型泛函在ORCA中的使用方法。关于XYG3型泛函的介绍可见上期链接。...; end 必须写的三个参数是泛函xc,基组basis,RI-MP2辅助基组auxbas。...XYG3计算分为三个步骤:B3LYP自洽(scf),某个自定义泛函的非自洽计算(nscf),利用DFT轨道的PT2(pt2)。后两个步骤会读入第一步的轨道。...最后读出后两步的能量,汇总成双杂化泛函能量。 直接在ORCA输入文件中写的大部分关键词对于Compound Scripts是无效的,只能通过参数传给Compound Scripts。...由于在双杂化泛函计算中,可以指定的附加关键词成百上千,所以我们暂未支持较多的脚本参数。有DIY需求的进阶用户可以自行修改上述三个步骤中的关键词。

    1.4K10

    C++11 lambda

    Introduction C ++ 11引入了lambda,该lambda提供了一种语法上轻量级的方式来动态定义函数。它们还可以通过值或引用来捕获(或封闭)周围范围的变量。...lambda和functor的函数调用执行的代码是相同的。唯一的区别是lambda的构造函数被内联到创建lambda的函数中,而不是像函子的构造函数那样是一个单独的函数。...与按值捕获一样,functor和lambda调用代码是等价的,但是lambda的构造函数是内联的,而functor的则不是。 结论 C ++ lambda和函子比相似之处更多。...总结主要区别: 1、函子和lambda总是传递一个this指针,而普通函数自然不是。这会消耗一个额外的寄存器和8个字节的堆栈空间。 Lambda“构造函数”被内联到创建Lambda的函数中。...这种方式使得我们不在需要设计通过继承与虚函数来实现多态,无疑为程序库设计提供的新的方式。

    1.1K30

    让Python提速超过30倍的必杀技:Cython

    如果你的代码是纯Python、或者必须用一个大的for循环并且不能放入矩阵因为数据必须按顺序处理的时候,有没有办法加速Python呢?本文为你解答。...Cython将CPython代码转译成 C 或 C++ 语法后,自动包装上函式呼叫界面生成 .pyx 后缀的执行档,即可当成普通的函式库。...其性能一般逊于原生的 C/C++ 函式库,但由于 CPython 语法的易用性可以缩短开发时间。Cython 也可以用于编译以 C/C++ 为 CPython 撰写的函式库。...通常,我们可以在Python中声明一个变量,如下所示: x = 0.5 使用Cython,我们将为该变量添加一个类型: cdef float x = 0.5 这告诉Cython我们的变量是浮点数,和C一样...另外还需要为函数中的所有变量设置类型从而告知C编译器。

    1.3K20
    领券