zzfx

2018年6月8日

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 阅读(239) 评论(0) 推荐(0) 编辑

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

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

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

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

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

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

2018年6月7日

All About Monads

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

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

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

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

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

论 fmap、fmap fmap、与 fmap fmap fmap

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

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

Typeclassopedia 阅读笔记：导言与 Functor

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

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

重新理解 Monad

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

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

函数式编程的基础

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

posted @ 2018-06-07 19:19 zzfx 阅读(83) 评论(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 阅读(92) 评论(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 阅读(274) 评论(0) 推荐(0) 编辑

浅谈Overload和Override的区别

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

posted @ 2018-06-07 16:37 zzfx 阅读(474) 评论(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 阅读(285) 评论(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 阅读(141) 评论(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 阅读(233) 评论(0) 推荐(0) 编辑

trait 和abstract的区别在哪里

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

posted @ 2018-06-07 15:31 zzfx 阅读(263) 评论(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 阅读(198) 评论(0) 推荐(0) 编辑

泛型中的类型约束和类型推断

摘要：类型约束相信你还记得前面一篇文章中的泛型方法，在这个泛型方法中，我们就使用了类型约束。类型约束（type constraint）进一步控制了可指定的类型实参，当我们创建自己的泛型类型或者泛型方法的时候，类型约束是很有用的。回到前一篇例子中的泛型方法，这个泛型方法就要求可指定的类型实参必须实现了阅读全文

posted @ 2018-06-07 14:46 zzfx 阅读(539) 评论(0) 推荐(0) 编辑

公告