def ints
(n
: Int
): Stream
[Int
] = Stream.
cons(n, ints
(n+
1)) def primes
(nums
: Stream
[Int
]): Stream
[Int
] = Stream.
cons(nums.
head,
primes
((nums tail) filter (x => x % nums.head != 0)) )
val allPrimes
= primes
(ints
(2)) val primes
= allPrimes.
takeWhile(_ < i
).
toSet val intersection
= primes
& primes.
map(i -
_) if (intersection.
isEmpty) throw new RuntimeException
("I found a goldbach counter-example: " +
i)
(intersection.head, i - intersection.head)
ZGVmIGludHMobjogSW50KTogU3RyZWFtW0ludF0gPSBTdHJlYW0uY29ucyhuLCBpbnRzKG4rMSkpIApkZWYgcHJpbWVzKG51bXM6IFN0cmVhbVtJbnRdKTogU3RyZWFtW0ludF0gPSBTdHJlYW0uY29ucyhudW1zLmhlYWQsIApwcmltZXMgCigobnVtcyB0YWlsKSBmaWx0ZXIgKHggPT4geCAlIG51bXMuaGVhZCAhPSAwKSkgKSAKdmFsIGFsbFByaW1lcyA9IHByaW1lcyhpbnRzKDIpKSAKZGVmIGdvbGRiYWNoKGk6IEludCkgPSB7IAogIHZhbCBwcmltZXMgPSBhbGxQcmltZXMudGFrZVdoaWxlKF8gPCBpKS50b1NldCAKICB2YWwgaW50ZXJzZWN0aW9uID0gcHJpbWVzICYgcHJpbWVzLm1hcChpIC0gXykgCiAgaWYgKGludGVyc2VjdGlvbi5pc0VtcHR5KSAKICAgIHRocm93IG5ldyBSdW50aW1lRXhjZXB0aW9uKCJJIGZvdW5kIGEgZ29sZGJhY2ggY291bnRlci1leGFtcGxlOiAiICsgCmkpIAogIChpbnRlcnNlY3Rpb24uaGVhZCwgaSAtIGludGVyc2VjdGlvbi5oZWFkKSA=
Main.scala:1: error: expected class or object definition
def ints(n: Int): Stream[Int] = Stream.cons(n, ints(n+1))
^
Main.scala:2: error: expected class or object definition
def primes(nums: Stream[Int]): Stream[Int] = Stream.cons(nums.head,
^
Main.scala:5: error: expected class or object definition
val allPrimes = primes(ints(2))
^
Main.scala:6: error: expected class or object definition
def goldbach(i: Int) = {
^
Main.scala:11: error: Missing closing brace `}' assumed here
i)
^
Main.scala:12: error: expected class or object definition
(intersection.head, i - intersection.head)
^
6 errors found