SMLNJ(7)
π SMLNJ(7) β NAME π
okay so welcome to the SMLNJ manual page, bestie β yes, the SMLNJ(7) one π
smlnj is an implementation of the Standard ML language, and it comes with supporting tools and libraries. That's the name section, periodt.
β¨ DESCRIPTION β¨
Compiled programs in the SML/NJ system are represented using a pair of the runtime system executable and a heap image file β very duo energy, no cap.
Heap images have a filename suffix that is based on the architecture and operating system. That's the whole vibe.
π AUTHOR π
The Standard ML of New Jersey system was originally created by Andrew Appel and David MacQueen in 1987, and it's currently supported by Matthias Blume, David MacQueen, and John Reppy. iconic behavior, honestly.
Many people have contributed to SML/NJ over the 30+ years since the project was started. These include (but are not limited to):
- William Aitken Lars Bergstrom
- Matthias Blume
- Pierre Cregut
- Adam T. Dingle
- Damien Doligez
- Scott Draves
- Bruce F. Duba Emden Gansner
- Lal George
- Georges Gonthier
- Yngvi Guttesen
- Lorenz Huelsbergen
- Trevor Jim
- George Kuan
- Christopher League
- Mark Leone
- Allen Leung
- Stefan Monnier
- Greg Morrisett
- Riccardo Pucella
- Mike Rainey
- Norman Ramsey
- Jon Riehl
- John Reppy
- Gene Rollins
- Nick Rothwell
- Bratin Saha
- Zhong Shao
- Konrad Slind
- David Tarditti
- Andrew Tolmach
- Valery Trifonov
- Aaron Turon
- Peter Weinberger
shoutout to every single one of them π«Ά
π SEE-ALSO π
sml(1)- the Standard ML of New Jersey website at
<https://smlnj.org>β yes, that exact link, bestie
π COPYING π
Copyright Β© 2020 The Fellowship of SML/NJ
This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
like, NO warranty, not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE β read it and weep (affectionately) π
xoxo, bestie β this page is from SML/NJ, dated 2025-11-04, manual SMLNJ(7) π
β¨
π¦ where this page comes from
- arch rolling: smlnj 110.99.9-1 Β· SMLNJ
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms