Anonymous user
Fibonacci sequence: Difference between revisions
moved language "Lean" alphabetically in its rightful place.
(moved language "Lean" alphabetically in its rightful place.) |
|||
Line 2,724:
comefrom fib if i > stop</lang>
=={{header|Lean}}==▼
Lean 3.4.1 code:▼
<lang lean>def fib1 : ℕ → ℕ ▼
| 0 := 0▼
| 1 := 1▼
| (n + 2) := fib1 n + fib1 (n + 1)▼
def fib_aux : ℕ → ℕ → ℕ → ℕ ▼
| 0 a b := b▼
| (n + 1) a b := fib_aux n (a + b) a▼
def fib2 : ℕ → ℕ ▼
| n := fib_aux n 1 0▼
#eval fib1 20▼
#eval fib2 20</lang>▼
=={{header|Common Lisp}}==
Line 5,947 ⟶ 5,928:
#'self cache := Object clone.
}.</lang>
▲=={{header|Lean}}==
▲Lean 3.4.1 code:
▲<lang lean>def fib1 : ℕ → ℕ
▲ | 0 := 0
▲ | 1 := 1
▲ | (n + 2) := fib1 n + fib1 (n + 1)
▲def fib_aux : ℕ → ℕ → ℕ → ℕ
▲ | 0 a b := b
▲ | (n + 1) a b := fib_aux n (a + b) a
▲def fib2 : ℕ → ℕ
▲ | n := fib_aux n 1 0
▲#eval fib1 20
▲#eval fib2 20</lang>
=={{header|LFE}}==
|