[Functional Programming] Function signature

电玩女神 2021-09-30 09:28 342阅读 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 条评论，342人围观）

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

相关阅读

相关什么是函数式编程（functional programming）？

聚沙成塔·每天进步一点点 ⭐ 专栏简介 ⭐ 函数式编程 ⭐ 核心概念 ⭐ 函数式编程示例 ⭐ 写在最后 -----------------

Love The Way You Lie/ 2023年10月16日 09:23/ 0 赞/ 65 阅读

相关 function(event)/function()/function(参数)

`$(``function``(){` ` ``$(``"mybutton"``).on(``"click mouseover"``,``function``(e){

小灰灰/ 2023年02月14日 01:54/ 0 赞/ 60 阅读

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

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

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

相关 function signature是什么

首先看signature翻译是啥 ![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLm

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

相关 Why Functional Programming Matters ZZ

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

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

相关 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 赞/ 341 阅读

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

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

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

相关 [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 赞/ 458 阅读

相关 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 赞/ 300 阅读

相关 [Functional Programming] Function signature

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

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