# 术语：applicative functor

**URL:** <https://discourse.rocq-prover.org/t/applicative-functor/985>\
**Category:** 翻译\
**Created:** [July 31, 2020, 8:33pm UTC](https://discourse.rocq-prover.org/t/applicative-functor/985 "2020-07-31T20:33:44Z")\
**Posts on this page:** 6\
**Page:** 1

<div class="post-metadata">

**Author:** ![Lys](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/lys/32/48_2.png) [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Post date:** [July 31, 2020, 8:33pm UTC](https://discourse.rocq-prover.org/t/applicative-functor/985/1 "2020-07-31T20:33:44Z")

</div>

## 背景

已有日语文献将applicative functor译为“適用可能関手”，对应汉语“可适用函子”，但“适用”在现代汉语中常作形容词而非动词，故“可适用”有搭配不当之嫌。

> <https://twitter.com/FlavioCorpa/status/1288983432870219777>

## 溯源

- [用](https://www.zdic.net/hans/%E7%94%A8)
  - 可施行也。从卜从中，卜中则可施行。
  - 又：象桶形，桶可用。

- [适](https://www.zdic.net/hans/%E9%80%82)
  - 之也，往也，如也，至也。从辵啻声。
  - 另有符合、恰好诸义。

## 讨论

如以“可”作介词短语，“可用”常指“usable”，而“可适”缺乏先例。  
其另起新词欤？鉴于“函子”取自function，“单子”取自mono，试取applicate造“用子”，何如？

---

<div class="post-metadata">

**Author:** ![yzsun](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/yzsun/32/443_2.png) [@yzsun](https://discourse.rocq-prover.org/u/yzsun)\
**Post date:** [November 20, 2020, 3:14pm UTC](https://discourse.rocq-prover.org/t/applicative-functor/985/2 "2020-11-20T15:14:01Z")

</div>

日语把 applicative functor 翻译成「適用可能関手」是因为 application 叫「関数適用」（参见[日语维基百科](https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97#%E5%AE%9A%E7%BE%A9)），不过这个词在汉语里一般是叫「函数应用」吧？所以「適用可能関手」转译为「可应用函子」更加妥当。

---

<div class="post-metadata">

**Author:** ![Lys](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/lys/32/48_2.png) [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Post date:** [November 20, 2020, 8:27pm UTC](https://discourse.rocq-prover.org/t/applicative-functor/985/3 "2020-11-20T20:27:16Z")

</div>

Application该译为“应用”还是“作用”？

---

<div class="post-metadata">

**Author:** ![HuStmpHrrr](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/hustmphrrr/32/42_2.png) [@HuStmpHrrr](https://discourse.rocq-prover.org/u/HuStmpHrrr)\
**Post date:** [June 16, 2021, 3:35am UTC](https://discourse.rocq-prover.org/t/applicative-functor/985/4 "2021-06-16T03:35:39Z")

</div>

长见识了，日语竟然不是音译（竟然要20个字）

---

<div class="post-metadata">

**Author:** ![xiaoCarl](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/xiaocarl/32/789_2.png) [@xiaoCarl](https://discourse.rocq-prover.org/u/xiaoCarl)\
**Post date:** [November 2, 2022, 2:31am UTC](https://discourse.rocq-prover.org/t/applicative-functor/985/5 "2022-11-02T02:31:27Z")

</div>

大家已经约定俗成：应用函子，再改为其他名字没有必要

---

<div class="post-metadata">

**Author:** ![Lys](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/lys/32/48_2.png) [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Post date:** [November 2, 2022, 5:58am UTC](https://discourse.rocq-prover.org/t/applicative-functor/985/6 "2022-11-02T05:58:19Z")

</div>

> [@xiaoCarl](#):
>
> 大家已经约定俗成

可否举例说明一下“大家”指哪些人？我的视野狭隘，未能读到相关的文献。