3 ms·

Is it implemented in Haskell and not in C/C++? The papers I saw didn't say anything about the implementation.

• pjmlp 10y ago
  I guess it was the one they use for formal verification of their CPUs. But there is also the Sigma rules engine used at Facebok as another possible example, https://code.facebook.com/posts/745068642270222/fighting-spam-with-haskell/ https://code.facebook.com/posts/745068642270222/fighting-spa...
  • lispm 10y ago
    Well, that's a rule engine embedded into Haskell. Great, but different from a language implementation of the Mathematica language (syntax / parser, ... , interpreter). Anyway, that what I said above. Inhouse use for special purpose applications.
    • pjmlp 10y ago
      It is still production code, with people being paid to write code in Haskell.
      • lispm 10y ago
        That still says nothing about the code.