A definição de um combinador Y em F # é let rec y f x = f (y f) x f espera ter como primeiro argumento alguma continuação para os subproblemas recursivos. Usando o yf como uma continuação, vemos que f será aplicado a chamadas sucessivas à medida que pudermos desenvolver let y f x = f (y f) x =...