As a result, the five million lines of Mathematica code
that make up Wolfram|Alpha are equivalent to many tens of millions of
lines of code in a lower-level language like C, Java, or Python.
I am some what familiar with Mathematica and it's multi-paradigm nature (like F#, OCaml, etc.). In any case, I would like the Haskell community to view WolframAlpha as a challenge. For what is it worth I presently cabalizing Swish .... Based on my reading of WolframAlpha it is a semantic web ... i.e. formal knowledge representation!