2 ms·
Use in production - often in-house production - is slightly different than development of a non-toy language implementation or a non-toy application (here an in
by lispm 10y ago
Use in production - often in-house production - is slightly different than development of a non-toy language implementation or a non-toy application (here an interpreter for a clone of the Mathematica language).
Non-toy computer-algebra applications in Lisp were/are Macsyma/Maxima/Vaxima, Reduce and Axiom. They were real products an end user could buy. There is an extensive amount of literature about Macsyma: http://ftp.math.utah.edu/pub/tex/bib/macsyma.bib http://ftp.math.utah.edu/pub/tex/bib/macsyma.bib
But then one might want to survive in the market place.
Btw., people even use the C64 still in 'production'. ;-)
http://sploid.gizmodo.com/this-old-ass-commodore-64-is-still-being-used-to-run-an-1787196319 http://sploid.gizmodo.com/this-old-ass-commodore-64-is-still...
- pjmlp 10y agoWell, here is a non-toy language implementation used by Intel for hardware design implemented in Haskell: https://www.cs.ox.ac.uk/tom.melham/res/reflect.html https://www.cs.ox.ac.uk/tom.melham/res/reflect.html
- lispm 10y agoIs it implemented in Haskell and not in C/C++? The papers I saw didn't say anything about the implementation.
- pjmlp 10y agoI 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 agoWell, 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.