Some Project Euler solutions

1 files changed, 19 insertions, 0 deletions

diff --git a/samples/euler/004.bruijn b/samples/euler/004.bruijn
new file mode 100644
index 0000000..e04cb4c
--- /dev/null
+++ b/samples/euler/004.bruijn
@@ -0,0 +1,19 @@
+# TODO: This has serious performance problems
+
+:import std/Combinator .
+:import std/List .
+:import std/Math .
+
+# palindrome? S.number→string → [S.eq? S.<~>0 0]
+
+palindrome? [y [[[&[[>?2 (4 (3 ⋅ (+10) + 0) 1) (3 =? 5)]] (quot-rem 0 (+10))]]] (+0) 0]
+
+# combs [[S.concat-map [S.map (mul 0) ({ 0 → 1 })] ({ ((+10) ** --1) → 0 })] --((+10) ** 0)]
+
+solve [[y [[[0 =? 3 1 rec]]] empty ((+10) ** --1)] ((+10) ** 0)] → lmax
+	rec 2 (comb ++ 1) ++0
+		comb y [[[0 =? 6 1 (2 ([palindrome? 0 (0 : 2) 2] (3 ⋅ 0)) ++0)]]] empty 0
+
+:test ((solve (+2)) =? (+9009)) ([[1]])
+
+main [solve (+3)]