Software > Programming >

was mythryl.org
https://github.com/mythryl/mythryl

A programming language which resurrects and improves upon SML/NJ to create the first production-ready mathematically-provable language.

Had incredible potential; I was highly interested in this and its abandonment was the final nail in the coffin for my desire to program.

• Abandoned – The author Cynbe ru Taren (Jeffrey Prothero) died, the community evaporated, and a resulting foundation was later abandoned by his widow.

• mailing list archives
• debian packages
• /tag/mythryl-software
• Mythryl tutorial
• Mythryl – on an ide, redux
• Mythryl – on comments
• Mythryl – on licensing
• Mythryl – on naming values

• Mythryl – trigraphs

—

• mythryl-mode for Emacs

  • This is a fork.

—

• Geany Mythryl syntax highlighting

—

Putting the fun back in hacking!

• 2019-03-09 — Abandoned by his widow.

  • mythryl.org was quietly changed to redirect to actlab2019.org, an event for the Advanced Communication Technologies Laboratory, ACTLab, which his widow Allucquére Rosanne Stone is an Associate Professor and Founding Director for. For shame.
  • The mailing list was wordlessly deactivated.

• Abandoned by the community

  • No new maintainer stepped forward, and no activity came to the new mailing list.

• Abandoned

  • The author died and all activity on the mailing list ceased.
• 2013-11-28 – 7.1.0 on Lubuntu (version not recorded)
• 2011-10-17 – 6.0.0 on Unity Linux 2011 alpha 2

• 2010-11-25 – 3.0.2 on Lubuntu 10.10

TODO ∞

• What file extension do I use? I decided to use .my

• Talk about the junk files that get left around after running \my

2013-11-28 – 7.1.0 ∞

Thanks to a generous user, a simple .deb was created which worked under Ubuntu and was trivial to install on whatever Lubuntu version I was using at this point.

This was the last version that I had used, and was the reference for my final tutorial update.

2011-10-17 – 6.0.0 ∞

\su
\smart  install \
  glibc-devel \
  libgtk+2.0_0 \
  libgtk+2.0-devel \
  libgtkglext-1.0-devel
file=mythryl7.110.58-dist-2011-10-15-02.45.49.tar.bz2
\wget  mythryl.org/download/$file
\tar  -xvvf  $file
\cd  mythryl7.110.58
./Configure
\make  all
\make  install

2010-11-25 – 3.0.2 ∞

Then read the README within the archive for installation instructions. It wasn’t maintained on the website.

Need the standard C and Gtk development libraries and header files.

\sudo  \apt-get  install \
  libc6-dev \
  libgtkglext1-dev \
  libgtk2.0-0 \
  libgtk2.0-bin \
  libgtk2.0-common \
  libgtk2.0-dev \
\wget  [[https://web.archive.org/web/20160528173406/mythryl.org/download/mythryl7.110.58-dist-2009-09-07-11.47.45.tar.bz2 |mythryl.org/download/mythryl7.110.58-dist-2009-09-07-11.47.45.tar.bz2]]
\tar  -xvvf  mythryl7.110.58-dist-2009-09-07-11.47.45.tar.bz2
\cd  mythryl7.110.58
\make  compiler
\sudo  \make  install

2010-11-22 ∞

Looking up on _why‘s past projects I saw that he made the potion programming language. Researching that, I came upon https://news.ycombinator.com/item?id=699146 which it had a note for mythryl.org

Mythryl looks very very interesting. Reading through the website I’ve already found some typos to report. I’ll have to check this language out!

Mythryl application areas ∞

… I very much think that the most natural application area for
Mythryl will be large interactive applications like scientific
visualization, video editing, image processing, sound editing, data
mining, stock trading, and network defense visualization and
control. These sorts of applications are large enough to need
Mythryl’s package system for organization, performance critical
enough to need Mythryl’s native-code compilation, mission-critical
enough to need Mythryl’s typesafety, time-to-market-critical enough
to need Mythryl’s low heap-mutation rate and consequent low
debugging load (particularly in a multicore setting where every
side-effect is a potential race-condition bug) and interactive
enough to need Mythryl’s incremental-compilation capabilities. ML in
general and Mythryl in particular have very little competition when
all of these requirements come into play.

— Cynbe ru Taren, 2011-02-05 on the Mythryl mailing list, subject “Printing out Functions”

Cynbe’s text editor idea ∞

This is something I kept aside, with the intention of surprising him as a project I would have been developing for some time.

Quote from Cynbe, re. an editor breaking the “programming uses text files” paradigm:

What I -want- is something that feels like the bank-finance display
described in Vernor Vinge‘s novella “True Names” (definitely required
reading! :-) with fluid interactive 3D (plus 7.1 sound!)
visualizations of the largescale software/process structure
interacting seamlessly with text representations of the smallscale
structures. (No, I’m not kidding.)