New release of Professor David Turner's Miranda interpreter

7 views
Skip to first unread message

Martin Guy

unread,
Jun 24, 2025, 12:23:12 PMJun 24
to Functional Programming Brno
Hi!
  I've taken on maintenance of David interpreter for Miranda, which was the flagship non-strict (lazy) polymorphic FP language in the late 80s and 90s before Haskell took it,
modifying it slightly and wrapping it in compilers and libraries.
  I just made the first new release of mira since 2021. It's almost all compilability and portability fixes (as David's tarballs on miranda.org.uk don't compile out of the box on most systems) and Ctrl-C now works properly on Linux systems.

I've tested it on the GCC Compile Farm, i.e.

aarch amd arm chrp loongarch mips powerpc riscv sun4m sun4v x86 32/64bit
big- and little-endian, under AIX AlmaLinux AlpineLinux ArchLinux CentOS
Debian FreeBSD Haiku MacOS/X NetBSD OpenBSD OpenSUSE Rocky and Solaris.

It only dumps core on sun4u (UltraSPARC) processors; a Windows port has not been attempted.

On the first page of the wiki there's also a link to Professor Turner's video podcast in which he explains how it works and why it might still be a useful language (because simpler than Haskell hence easier to learn, but very similar)

Functional best wishes

   M
Reply all
Reply to author
Forward
0 new messages