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

    Monoid_Haskell笔记9

    细分为左单位元(e * a = a)和右单位元(a * e = a),如果同时满足就称之为单位元,也称为幺元(离散数学有学过这个东西) Haskell里,也有类似的东西(被称为Monoid),比如++运算遇到...,见newtype_Haskell笔记8 Product的Monoid实现如下: instance Num a => Semigroup (Product a) where () = coerce...from a use of ‘mappend’ 四.Foldable与Monoid Monoid实例都支持mappend行为,可以理解为“叠加”,把两个Monoid实例通过运算变成一个Monoid实例...,此外,还支持“折叠”(mconcat),能把一组Monoid实例从头到尾“叠加”起来,从而“折叠”成一个Monoid实例 一组东西能被“折叠”起来形成一个东西,这个东西就是“可折叠的”,即Foldable...也是个Monoid实例,因为需要对Node的内容做mappend。

    83730

    Autofac创建实例的方法总结

    1、InstancePerDependency 对每一个依赖或每一次调用创建一个新的唯一的实例。这也是默认的创建实例的方式。...2、InstancePerLifetimeScope 在一个生命周期域中,每一个依赖或调用创建一个单一的共享的实例,且每一个不同的生命周期域,实例是唯一的,不共享的。...3、InstancePerMatchingLifetimeScope 在一个做标识的生命周期域中,每一个依赖或调用创建一个单一的共享的实例。打了标识了的生命周期域中的子标识域中可以共享父级域中的实例。...4、InstancePerOwned 在一个生命周期域中所拥有的实例创建的生命周期中,每一个依赖组件或调用Resolve()方法创建一个单一的共享的实例,并且子生命周期域共享父生命周期域中的实例。...若在继承层级中没有发现合适的拥有子实例的生命周期域,则抛出异常:DependencyResolutionException。

    1K20

    Spring的bean创建实例详解

    BeanDefinitionRegistry会为其管理的每个bean都创建一个BeanDefinition实例,该实例中主要包含当前bean的名称,类型,是否抽象类,构造函数参数等信息。...这里@Component用在类声明上,用于告知Spring,其需要为当前类创建一个实例,实例名为当前类名首字母小写的形式。...这里需要注意的是,对于IoC容器而言,单纯使用了上述注解还不能让其自动创建这些bean,还需要通过配置文件用来指明需要对哪些包下的类进行扫描,以检测相关的注解,并注册相应的实例。...配置文件 xml配置文件是bean实例化使用最为广泛的一种方式,其主要包括两种形式的bean创建:构造方法和属性注入。...Bar实例,在配置文件中创建Foo实例的处并没有指定其属性值,而是使用了autowire="byName",而Bar实例的名称则和Foo的setter方法后的名称一致。

    2.4K40

    什么是 Monad (Functional Programming)?函子到底是什么?ApplicativeMonad

    Monad不就是个自函子范畴上的幺半群,这有什么难理解的(A monad is just a monoid in the category of endofunctors) —— Phillip Wadler...Monad工作原理包含两个部分:对原范畴组合成新的范畴,这个范畴对于Monad来说必须是幺半群Monoid,可以认为Monad是一系列自函子的组合,这种组合是一种转换,转换的结果是Monoid。...而Monoid是元素对象的组合的范畴,如果这种元素对象是函数或函子(也可能是Pipe,这就复杂了去了 ),那么Monad是自函子的组合范畴,Monad也是一种特殊的Monoid子集。...image.png fmap的输入参数是a->b函数,在我们这个案例中是(+3),然后定义一个函子Functor,这里是Haskell的Just 2,最后返回一个新的函子,在我们案例中,使用Haskell...在Haskell这类的强类型语言中,我们甚至可以组装自己的Tuple Monad。

    4.4K30

    一些范畴论上的概念

    为了能真正理解Haskell中的Functor、Applicative、Monad、Monoid,以及它们到底有什么用,个人觉得还是有必要 了解 一些范畴论里面的概念的 函数 Function 函数表示特定类型之间的...Haskell中,Functor是可以被map over的东西,List就是一个典型的instance。...这表达了一个范畴的元素可以被映射为另一个范畴的元素 我们看下Haskell中map函数的定义: map :: (a -> b) -> [a] -> [b] 把我们上面的Int String的例子代入,配合柯里化的概念可以得出...如果仅满足封闭性和结合律,则该G是一个 半群(Semigroup) ; 如果满足封闭性和结合律并且存在幺元,则该G是一个 幺半群(Monoid)。...我们再看下幺半群规定的结合律。对于函数而言,结合律就是将函数以各种结合方式嵌套起来调用。我们将Haskell中的 . 函数看做这里的二元运算。

    8510

    泛函编程(22)-泛函数据类型-Monoid In Action

    不过我们只示范了一下基础类型(primitive type)Monoid实例的应用,所以上一节的讨论目的是理论多于实践。...在这一节我们将把重点放在一些实用综合类型(composite type)Monoid实例及Monoid的抽象表达及函数组合能力。    ...我们可以试着创建一些Foldable实例看看: 1 object listFoldable extends Foldable[List] { 2 override def foldRight...下面剩下的时间我们再讨论一些较复杂的Monoid: 如果一个函数的结果是Monoid,我们可以实现这个函数的Monoid实例: 1 def functionMonoid[A,B](mb: Monoid...再来一个合并key-value Map的Monoid实例:如果我们有value类型的Monoid实例就可以实现: 1 def mapMergeMonoid[K,V](mv: Monoid[V]):

    1.1K60

    Navigation问题详解——Fragment创建新的实例

    之后,也在尝试使用Navigation,但是使用的过程当中遇到了问题: 每次进入下一个Fragment不管任务栈里是否存在该Fragment的实例,都会创建一个新的实例而不会复用。...这样就会出现一个问题,可能我们之前的OneFragment保存一些状态或者数据,当我们跳转OneFragment的时候,因为创建新的实例导致我们之前保存状态或者数据全部消失。...注意如果要实现以上效果我们应该注意一下几个地方: 1.如果我们用Kotlin语言,那么我们在gradle当中引用的地方的类库,需要改成 implementation "android.arch.navigation...里的动画使用,当然也可以配合着action里的属性popUpTo popUpToInclusive来使用。...看似,我们在回退的时候,正常了。但是,我们的问题依旧存在,每次点击的时候依然会创建一个新的Fragment,一个新的实例,只是我们在创建新的实例的时候,把之前的给清除了而已。

    1.9K20

    Python 的 __.call()__ 方法:创建可调用实例

    __call__() 特殊方法来创建产生可调用实例的自定义类。 带有 .__call__() 方法的类实例的行为类似于函数,它提供了一种灵活方便的方法来为你的对象添加功能。...__call__()创建可调用实例 如果给定类的实例是可调用的,那么需要在底层类中实现 .__call__() 特殊方法。这个方法能够像调用普通 Python 函数那样调用类的实例。...__init__() 方法是实例初始化器。每当你通过调用类的构造函数创建一个类的实例时,Python 自动调用这个方法。....创建清晰便捷的API 编写能够产生可调用实例的类,还可以为库、包和模块设计方便的、用户友好的应用程序编程接口(API)。 例如,假设我们正在编写一个用于创建GUI应用程序的新颖库。...__call__() 方法创建可调用实例的知识。这个方法在 Python 中还有一些高级用例。其中一个用例是当你想创建基于类的装饰器时。在这种情况下,.

    52320

    Navigation——Fragment创建新的实例问题详解

    背景 上一篇文章Navigation——Fragment创建新的实例问题,我们简述了我们在使用Navigation遇到的Fragment创建新的实例的问题。...FragmentNavigator(requireContext(), getChildFragmentManager(), getId()); } 解决问题 既然,我们都已经找到导致没次都创建新的实例的根结所在...1那么我们只需要重新写一个NavHostFragment的createFragmentNavigator的方法,来满足我们的要求。...Fragment 的时候,当已经创建过 Fragment 的实例的时候,就不会创建新的实例了。...最后 通过以上的方法,可以实现我们想要的效果,但是我认为这只是一个临时的解决方案,修改源码这种方式,并不是一个特别好的解决方案。

    2.3K20
    领券