Poly/ML February 2026

polyml@lists.polyml.org

5 participants
2 discussions

Type Constraints and Overloading
by Duke Normandin 03 Mar '26

03 Mar '26

Taken from Paulson's book: Chap2.4 A) fun square x = x * x; > Error- Unable to resolve overloading for * I understand the above! B) fun square(x : real) = x * x; I understand: x is declared as a real C) fun square x = x * x : real; I see this as declaring a function w/o parentheses AND that the r_result_ is a 'real' I have a problem with this declaration: D) fun square x : real = x * x; I see this as declaring a function w/o parentheses, AND declaring x to be a 'real' I do NOT see/understand that this syntax indicates that the type of the _result_ is a 'real' I suppose that I'm free to ignore D) and use the more IMHO intuitive C) declaration. I thought that I'd ask to make sure that I wasn't missing something in the D) one. TIA .... -- Duke

6 13

Quick Question About polyml.org and Its Current Status
by Kimmy Trango 24 Feb '26

24 Feb '26

Hello, Kimmy here. I lead Community Outreach at Dotcom Monitor, and I have been exploring long standing programming language implementations and research driven projects. Poly ML really stood out to me. It is impressive to see a mature and high performance implementation of Standard ML that has supported both academic research and real world development for many years. Projects like Poly ML play an important role in advancing language design and functional programming. It clearly reflects deep technical expertise and sustained community effort. I wanted to ask, is polyml.org and the Poly ML project still actively maintained? At Dotcom Monitor and LoadView, we work closely with long running technical and open source projects. We aim to support the community in ways that are practical and genuinely helpful. For context: https://www.dotcom-monitor.com/sponsoring-open-source-projects/ https://www.loadview-testing.com/scholarship/ If the project is still active, we would be glad to explore the possibility of offering a small corporate contribution to help support its continued development. I would love to hear your thoughts. -- Cheers, *Kimmy Trango*Community Outreach Assistant Dotcom-Monitor <https://www.dotcom-monitor.com/> | Monitor > Repair > Optimize LoadView <https://www.loadview-testing.com/> | Flexible Load Testing from the Cloud

1 0

2026

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 February 2026