[Functional Programming] Function signature

电玩女神 2021-09-30 09:28 257阅读 0赞

It is really important to understand function signature in functional programming.

The the code example below:

const map = fn => anyFunctor => anyFunctor.map(fn);

'map' is pointfree version of any founctor's map, for example:

Maybe.of('maybe').map(toUpper)

equals:

compose(map(toUpper), Maybe.of)('maybe') // Just 'MAYBE'

So what is the function signature for 'map'?

fn: is a function, we can use

**(a -> b)** : We read it as "A function which take a to b"

anyFunctor: is a Functor, any Functor, we can use:

**f a**:  here 'f' means Functor, 'a' means 'any value': We read it as 'Any functor a'

anyFunctor.map(fn): is what the return value, it is also a Functor, value may different from 'a':

f b: here 'f' means Functor, 'b' means 'any value but not the same as 'a' '.

Here we want to point out 'f' is Functor, we can do: 'Functor f =>'

// map :: Functor f => (a -> b) -> f a -> f b

This is the whole result:

// map :: Functor f => (a -> b) -> f a -> f b
    const map = fn => anyFunctor => anyFunctor.map(fn);

转载于:https://www.cnblogs.com/Answer1215/p/10416213.html

发表评论取消回复

表情：

评论列表（有 0 条评论，257人围观）

还没有评论，来说两句吧...

相关阅读

相关 Function create_function() is deprecated

问题描述：上午运行一个旧的php项目时报错： `PHP message: PHP Deprecated: preg_replace(): The /e modi

我就是我/ 2022年12月02日 13:50/ 0 赞/ 200 阅读

相关 Clojure – Functional Programming for the JVM中文版

Clojure – Functional Programming for the JVM中文版发表于 [ 2011 年 12 月 07 日][2011 _ 12 _ 0

逃离我推掉我的手/ 2022年09月19日 08:26/ 0 赞/ 67 阅读

相关 function signature是什么

首先看signature翻译是啥 ![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLm

阳光穿透心脏的1/2处/ 2022年09月04日 00:52/ 0 赞/ 139 阅读

相关 Why Functional Programming Matters ZZ

发信人: bitapf (北京理工编程爱好者协会), 信区: FuncProgram 标题: Why Functional Programming Matters 发

我会带着你远行/ 2022年08月25日 12:58/ 0 赞/ 141 阅读

相关 Functional Programming in R

This post is based on a talk I gave at the [Manchester R User Group][] on functional pro

太过爱你忘了你带给我的痛/ 2022年06月16日 06:48/ 0 赞/ 218 阅读

相关 $(function(){})和$(document).ready(function(){})

document.ready和onload的区别——JavaScript文档加载完成事件页面加载完成有两种事件一是ready，表示文档结构已经加载完成（不包含图片等非文

淡淡的烟草味﹌/ 2022年06月12日 02:48/ 0 赞/ 178 阅读

相关 $(function() {})和$(document).ready(function(){ })

$(document).ready() 里的代码是在页面内容都加载完才执行的，如果把代码直接写到script标签里，当页面加载完这个script标签就会执行里边的代码了，此时

浅浅的花香味﹌/ 2022年06月01日 14:26/ 0 赞/ 186 阅读

相关 [Functional Programming] Reader with Async ADT

> `ReaderT` is a `Monad Transformer` that wraps a given `Monad` with a `Reader`. This al

逃离我推掉我的手/ 2021年11月17日 06:54/ 0 赞/ 276 阅读

相关 Functional Programming(Chapter 3 of Programming F#)

　　You can easily create properties and methods in F\, so why use a record? Records offer

桃扇骨/ 2021年11月10日 00:10/ 0 赞/ 192 阅读

相关 [Functional Programming] Function signature

It is really important to understand function signature in functional programming. T

电玩女神/ 2021年09月30日 09:28/ 0 赞/ 258 阅读