zzfx

2018年6月8日

摘要：函子是两个范畴之间的一种映射（关系）阅读全文

posted @ 2018-06-08 16:35 zzfx 阅读(236) 评论(0) 推荐(0)

我所理解的monad(4)：函子(functor)是什么--可把范畴简单的看成高阶类型

摘要：大致介绍了幺半群(monoid)后，我们重新回顾最初引用wadler(haskell委员会成员，把monad引入haskell的家伙)的那句话：现在我们来解读这句话中包含的另一个概念：自函子(Endofunctor)，不过我们先需要一些铺垫：首先，什么是函子(Functor)？乍一看名字，以为阅读全文

posted @ 2018-06-08 16:23 zzfx 阅读(591) 评论(0) 推荐(0)

Scala: Types of a higher kind

摘要： One of the more powerful features Scala has is the ability to generically abstract across things that take type parameters. This feature is known as H 阅读全文

posted @ 2018-06-08 16:22 zzfx 阅读(215) 评论(0) 推荐(0)

Generics of a Higher Kind

摘要： http://adriaanm.github.io/files/higher.pdf https://www.atlassian.com/blog/archives/scala-types-of-a-higher-kind 阅读全文

posted @ 2018-06-08 15:54 zzfx 阅读(155) 评论(0) 推荐(0)

Kind (type theory)-higher-kinded types--type constructor

摘要： , pronounced "type", is the kind of all data types seen as nullary type constructors, and also called proper types in this context. This normally incl 阅读全文

posted @ 2018-06-08 15:14 zzfx 阅读(282) 评论(0) 推荐(0)

Scala类型系统——高级类类型(higher-kinded types)

摘要：高级类类型就是使用其他类型构造成为一个新的类型，因此也称为类型构造器(type constructors)。它的语法和高阶函数(higher-order functions)相似，高阶函数就是将其它函数作为参数的函数；高级类类型则是将构造类类型作为参数类型。一个高级类类型可以有一个或者多个类型作为阅读全文

posted @ 2018-06-08 14:53 zzfx 阅读(875) 评论(0) 推荐(0)

scala类型系统：24) 理解 higher-kinded-type

摘要：首先我们从最基本的泛型来看：现在我们对上面泛型中的类型参数再进一步，也是个泛型会如何呢？可以看到，java中不支持类型参数也是泛型类型的情况，而scala支持。这是一个很重要的区别，scala在类型系统上要比java强大。我们现在简单对类型归纳一下，可以分为两类: 1）特定类型(proper t 阅读全文

posted @ 2018-06-08 14:52 zzfx 阅读(422) 评论(0) 推荐(0)

2018年6月7日

All About Monads

摘要： https://wiki.haskell.org/All_About_Monads 阅读全文

posted @ 2018-06-07 23:26 zzfx 阅读(143) 评论(0) 推荐(0)

函数式编程-将Monad（单子）融入Swift

摘要：前言近期又开始折腾起Haskell，掉进这个深坑恐怕很难再爬上来了。在不断深入了解Haskell的各种概念以及使用它们去解决实际问题的时候，我会试想着将这些概念移植到Swift中。函数式编程范式的很多概念在Swift等主打面向对象范式的语言中就像各种设计模式一样，优雅地帮助我们构建好整个项目，促使阅读全文

posted @ 2018-06-07 23:09 zzfx 阅读(282) 评论(0) 推荐(0)

Functor and Monad in Swift

摘要： I have been trying to teach myself Functional Programming since late 2013. Many of the concepts are very daunting because of their somewhat academic n 阅读全文

posted @ 2018-06-07 23:07 zzfx 阅读(220) 评论(0) 推荐(0)

论 fmap、fmap fmap、与 fmap fmap fmap

摘要： https://blog.csdn.net/sinat_25226993/article/details/44415803 阅读全文

posted @ 2018-06-07 19:43 zzfx 阅读(455) 评论(0) 推荐(0)

Typeclassopedia

摘要： https://wiki.haskell.org/wikiupload/8/85/TMR-Issue13.pdf By Brent Yorgey, byorgey@gmail.com Originally published 12 March 2009 in issue 13 of the Mona 阅读全文

posted @ 2018-06-07 19:41 zzfx 阅读(299) 评论(0) 推荐(0)

Typeclassopedia 阅读笔记：导言与 Functor

摘要： Typeclassopedia 阅读笔记本文是对介绍 Haskell 中类型类（type classes）的文档 Typeclassopedia 的阅读笔记和简短总结，包含此文档中重要的知识点。读者请配合原文档阅读使用。注意事项首先，Typeclassopedia 并非介绍 Haskell 基阅读全文

posted @ 2018-06-07 19:37 zzfx 阅读(292) 评论(0) 推荐(0)

重新理解 Monad

摘要：对于大多数刚刚入门函数式编程的同学来说，monad（单子、又叫单体）可能是这里面的一道坎。你可能对 map 、 flatMap 以及 filter 再熟悉不过，可是到了高阶的抽象层次上就又会变得一脸懵逼。其实每个人在学习的阶段都会经历这个过程，不过希望这篇文章能让你重新理解 monad 以及其他相关阅读全文

posted @ 2018-06-07 19:35 zzfx 阅读(209) 评论(0) 推荐(0)

函数式编程的基础

摘要：高阶函数和类型系统是函数式编程的两大基石。缺少任何一个函数式编程都将寸步难行。阅读全文

posted @ 2018-06-07 19:19 zzfx 阅读(108) 评论(0) 推荐(0)

monad - the Category hierachy

摘要： reading the "The Typeclassopedia" by Brent Yorgey in Monad.Reader#13 ,and found that "the Functor hierachy" is interdependent of "the Category hierach 阅读全文

posted @ 2018-06-07 19:17 zzfx 阅读(118) 评论(0) 推荐(0)

Overview of Polymorphism -多态的分类

摘要：多态有类型系统衍生。有限类型、无限类型、确定类型。 Classifications Christopher Strachey (1967) introduced the concept of polymorphism informally into procedural programming l 阅读全文

posted @ 2018-06-07 16:47 zzfx 阅读(333) 评论(0) 推荐(0)

浅谈Overload和Override的区别

摘要：如果在子类中定义某方法与其父类有相同的名称和参数，我们说该方法被重写 (Overriding)。如果在一个类中定义了多个同名的方法，它们或有不同的参数个数或有不同的参数类型，则称为方法的重载(Overloading)。本文介绍的是Overload和Override的区别。 Overload是重载的意阅读全文

posted @ 2018-06-07 16:37 zzfx 阅读(517) 评论(0) 推荐(0)

Polymorphism (computer science)

摘要： In programming languages and type theory, polymorphism (from Greek πολύς, polys, "many, much" and μορφή, morphē, "form, shape") is the provision of a 阅读全文

posted @ 2018-06-07 16:32 zzfx 阅读(319) 评论(0) 推荐(0)

Type inference

摘要： Type inference refers to the automatic detection of the data type of an expression in a programming language. Type inference is the ability to automat 阅读全文

posted @ 2018-06-07 16:12 zzfx 阅读(176) 评论(0) 推荐(0)

公告