我們可以有任何有用的具有無限列表的一階程序嗎？

Question

我正在嘗試用我實現的一種惰性一階語言來舉例說明無限列表。 我想知道是否有有用的程序使用無限列表，但不使用任何高階函數。

Answer 1

我最近使用無限列表來表示游戲中的玩家：

let playerList = [PlayerA, PlayerB]
let players = cycle playerList

let currentPlayer = head players
let advance = tail players -- "save" this to your players "variable"

-- or, maybe clearer, inside of MonadState [Player]
let advance' = modify tail

我想你可以拿出更多 。