5 Jan
2010
5 Jan
'10
5 a.m.
Will Ness skrev:
Emil Axelsson
writes: For me, a real smart compiler is one that would take in e.g. (sum $ take n $ cycle $ [1..m]) and spill out a straight up math formula, inside a few ifs maybe (just an aside). (Also an aside, I couldn't resist...)
Then I'm sure you'd say that Feldspar [1] has a smart compiler :)
but it didn't produce
f n m = if n < m then n*(n+1)/2 else let (q,r)=quotRem n m in q*(m*(m+1)/2) + r*(r+1)/2
:)
Ah, I see... Yes, that would be a very smart compiler :) / Emil