Eu sou um grande fã de Stephen Wolfram, mas ele definitivamente não tem vergonha de tocar sua própria buzina. Em muitas referências, ele enaltece o Mathematica como um paradigma de programação simbólica diferente. Eu não sou um usuário do Mathematica.

Minhas perguntas são: o que é essa programação simbólica? E como ele se compara às linguagens funcionais (como Haskell)?