zzfx

2018年6月8日

摘要： 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 阅读(150) 评论(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 阅读(253) 评论(0) 推荐(0)

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

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

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

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

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

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

2018年6月7日

All About Monads

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

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

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

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

posted @ 2018-06-07 23:09 zzfx 阅读(254) 评论(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 阅读(181) 评论(0) 推荐(0)

论 fmap、fmap fmap、与 fmap fmap fmap

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

posted @ 2018-06-07 19:43 zzfx 阅读(425) 评论(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 阅读(272) 评论(0) 推荐(0)

Typeclassopedia 阅读笔记：导言与 Functor

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

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

重新理解 Monad

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

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

函数式编程的基础

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

posted @ 2018-06-07 19:19 zzfx 阅读(89) 评论(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 阅读(100) 评论(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 阅读(299) 评论(0) 推荐(0)

浅谈Overload和Override的区别

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

posted @ 2018-06-07 16:37 zzfx 阅读(490) 评论(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 阅读(296) 评论(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 阅读(150) 评论(0) 推荐(0)

Ad hoc polymorphism

摘要：与面向对象中的接口类或抽象类中定义的函数组类似；函数的具体执行依赖与函数医用的类型。 In programming languages, ad-hoc polymorphism[1] is a kind of polymorphism in which polymorphic functions 阅读全文

posted @ 2018-06-07 15:45 zzfx 阅读(254) 评论(0) 推荐(0)

trait 和abstract的区别在哪里

摘要：无法在一个class上extend多个abstract class，但是你可以use多个trait abstract class是在类型系统上做文章，trait片段是mixin 类型约束代码复用 class 是是 interface 是否 trait 否是阅读全文

posted @ 2018-06-07 15:31 zzfx 阅读(270) 评论(0) 推荐(0)

Type class-Typeclass-泛型基础上的二次抽象---随意多态

摘要：对泛型的类型添加约束，从而使泛型类型的变量具有某种通用操作。再使用这些操作，参与到其它操作中。 In computer science, a type class is a type system construct that supports ad hoc polymorphism. This 阅读全文

posted @ 2018-06-07 15:21 zzfx 阅读(205) 评论(0) 推荐(0)

公告