函数式编程中，Nothing->Nothing类型的函数称为什么？

你说的这种无输入、无返回值的函数（即Nothing -> Nothing签名），在函数式编程语境下，尤其是你熟悉的Java/Kotlin生态中，标准名称是Runnable。

对应你提到的其他几种函数类型，明确对应关系如下：

• Type -> Boolean：Predicate（谓词）
• Type -> Nothing：Consumer（消费者）
• Nothing -> Type：Supplier（供应者）

具体到你常用的语言：

• Kotlin中，它直接对应函数类型 () -> Unit；
• Java里的 java.lang.Runnable 接口就是该类型的典型实现——既不接收参数，也不返回任何结果，核心作用是执行一段逻辑代码。

内容的提问来源于stack exchange，提问作者liampace