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