我想通过仅使用纯函数来尝试创建有状态函数的心理实验,而不使用任何类型的赋值/ monad等。例如,类似于RS触发器的功能,具有置位和复位输入:
ff(1,0) -> 1 ; SET
ff(0,0) -> 1 ; just output current state
ff(0,1) -> 0 ; RESET
ff(0,0) -> 0 ; whoops, a side-effect!
在电子设备中,这样的触发器(或任何有状态电路)是通过将电路的输出发送回输入来实现的,即:
所以,我认为某种函数的递归可以创建有状态函数,对吧?但是如何处理这个问题,那将是无限的?