Poly/ML September 2025

polyml@lists.polyml.org

4 participants
2 discussions

ML Basis
by vqn 31 Oct '25

31 Oct '25

Hello, Over the past few months, I have been working on an implementation of the ML Basis system for Poly/ML. It supports the complete mlb spec and is available both as a library and a cli tool: https://github.com/vqns/polymlb On a side note, I have been trying to implement incremental compilation by caching compiled .mlb files (i.e compiler namespaces) and exporting and reimporting them through {save,load}ModuleBasic. I have however been running into the issue that exporting each .mlb to a different on-disk module causes opaque types mismatch when reimporting them. What would be the reason for that? I have managed to work around it by exporting everything to the same file, but that result in a fairly large cache, e.g ~45mb for smlfmt (1.2mb executable, 15k loc). I suppose the reason for that is that I export the basis library as well, but I'm not sure there is a solution for that.

3 27

Reusing PolyML's runtime system
by bloop36＠protonmail.com 26 Sep '25

26 Sep '25

Hello everyone, I have just created an ML compiler to experiment with some ideas. The compiler is missing native compilation and a proper REPL, so I'm thinking of reusing the existing backend and runtime system of PolyML to build a complete compiler system. I believe the design of PolyML is modular enough for new frontends to be attached to the existing backend, but I have no idea where to start. Could someone point me in the right direction please? Shuhan HE

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML September 2025