Poly/ML

polyml@lists.polyml.org

720 discussions

Bike Packs Market: Key Trends Driving Innovation in Cycling Gear and Storage
by sujyot48＠gmail.com 24 Oct '26

24 Oct '26

The bike packs market is gaining attention as cycling continues to serve a variety of purposes, including recreation, commuting, fitness, touring, and outdoor exploration. Bike packs provide cyclists with a practical way to carry personal belongings, repair equipment, food, water, clothing, and other essentials during their journeys. As cycling enthusiasts seek greater convenience and flexibility, manufacturers are focusing on products that combine storage capacity, comfort, durability, and attractive design. The growing interest in outdoor activities and cycling adventures also encourages consumers to explore storage solutions that support different riding styles and travel requirements. The demand for bicycle luggage and storage solutions reflects the importance of practical equipment for modern cyclists. Bike packs help riders distribute their belongings across different parts of a bicycle while keeping essential items accessible during a journey. Depending on their design, these products can support daily commuting, long-distance touring, mountain biking, and weekend trips. Consumers increasingly look for packs that suit their bicycles, accommodate their belongings, and remain comfortable and secure throughout their rides.

1 0

Bike Packs Market: Key Trends Driving Innovation in Cycling Gear and Storage
by sujyot48＠gmail.com 24 Oct '26

24 Oct '26

The demand for bicycle luggage and storage solutions reflects the importance of practical equipment for modern cyclists. Bike packs help riders distribute their belongings across different parts of a bicycle while keeping essential items accessible during a journey. Depending on their design, these products can support daily commuting, long-distance touring, mountain biking, and weekend trips. Consumers increasingly look for packs that suit their bicycles, accommodate their belongings, and remain comfortable and secure throughout their rides.

1 0

Agricultural Chemical Agricultural Adjuvants Market Trends Shaping Modern Farming
by sujyot48＠gmail.com 17 Oct '26

17 Oct '26

The growing emphasis on efficient agricultural inputs is encouraging interest in agricultural spray adjuvants, which help optimize the performance of crop protection applications. These products can influence how spray droplets spread across leaves, adhere to plant surfaces, and interact with targeted areas. Depending on their formulation and intended purpose, adjuvants may help improve wetting, reduce spray drift, support penetration, or enhance compatibility between agricultural chemicals. Their selection depends on the crop, application method, environmental conditions, and requirements of the primary chemical formulation.

1 0

Health Supplements Market Expansion Fueled by Preventive Wellness Culture
by anujmrfr1＠gmail.com 07 Oct '26

07 Oct '26

The global shift toward preventive healthcare and holistic wellness is accelerating consumer demand for nutritional products worldwide. According to recent industry insights on the Health Supplements Market, consumers are increasingly taking proactive control of their well-being through personalized dietary supplementation. Rising health consciousness, paired with an aging global population seeking mobility and cognitive support, continues to propel sales across diverse consumer demographics. At the same time, lifestyle shifts and modern dietary habits are driving individuals to bridge nutritional gaps with targeted vitamin, mineral, and botanical formulations. Busy daily routines and heightened awareness of immune health have transformed daily supplementation into a mainstream lifestyle practice. As a result, product manufacturers are introducing clean-label, plant-based, and non-GMO options to satisfy discerning shoppers. Beyond traditional dietary formats, advancements in delivery mechanisms are transforming consumer engagement and absorption rates. Modern formulations utilize liposomal delivery, softgels, gummies, and liquid concentrates to optimize nutrient bioavailability and ease of consumption. Consequently, healthcare practitioners are increasingly integrating clinical-grade dietary supplements into holistic wellness protocols. Furthermore, direct-to-consumer e-commerce channels and personalized subscription services are simplifying product access for global consumers. Digital platforms leverage wellness quizzes and health tracking tools to match individuals with customized supplement regimens tailored to their unique physiological needs. Do you think daily health supplements will become a standard part of universal healthcare recommendations? People Also Ask What key trends are shaping the future of health supplement formulations? Personalized nutrition, botanical extracts, clean-label ingredients, and liposomal delivery systems are driving modern product development. How do regulatory frameworks ensure the safety of dietary supplements? Regulatory bodies enforce good manufacturing practices, labeling compliance, and ingredient safety standards to protect consumer health. #HealthSupplements #PreventiveCare #WellnessTrends #NutritionalHealth #DietarySupplements Read more @https://www.marketresearchfuture.com/reports/health-supplements-market-1646

1 0

Mutex as eqtype?
by Michael Norrish 29 May '26

29 May '26

Could Mutex be an eqtype in future? (I see it is currently implemented as a word ref….) -- Michael Norrish (Associate Professor) School of Computing, The Australian National University Canberra ACT 2600, AUSTRALIA michael.norrish(a)anu.edu.au W: comp.anu.edu.au/people/michael-norrish TEQSA Provider ID: PRV12002 (Australian University) | CRICOS Provider Code: 00120C

3 4

Bug report: four confirmed faults in Poly/ML (ARM64, commit dfb7e03b)
by Aravinth Kaneshalingam 15 Apr '26

15 Apr '26

Hi, I am a final-year Computer Science student at King's College London. As part of my dissertation, I ran coverage-guided fuzzing against Poly/ML on ARM64 using AFL++ with AddressSanitizer and UndefinedBehaviorSanitizer. I found four confirmed faults against commit dfb7e03b, all of which remain present in current upstream master. I am reporting them here with full reproducer inputs. Finding 1 - UBSan unsigned offset overflow in arm64.cpp (CopyStackFrame) Triggered by two completely valid SML programs. UBSan reports pointer arithmetic overflow at libpolyml/arm64.cpp (line 246 on dfb7e03b, line 440 in current master) in CopyStackFrame. The unsigned offset is divided by sizeof(PolyWord) (a size_t), causing implicit conversion to unsigned and wrapping on negative values. ARM64-specific - does not occur on x86-64. Reproducer: seed_fun.sml (attached) - triggers in libpolyml/arm64.cpp:440 (CopyStackFrame) Proposed fix: cast sizeof(PolyWord) to POLYSIGNED before the division. I have validated this locally and would be happy to submit a pull request if that is welcome. Finding 2 - Unbounded memory allocation on pathological floating-point exponents (LEX_.ML) readChars in LEX_.ML reads exponent digits after e/E in a float literal with no length bound. Since there is no upper bound, an exponent of sufficient length will exhaust available memory on any system. Reproduces without sanitisers - memory growth is linear with exponent length. Note: upstream commit fc874893 ("Fix greedy lexing of reals with fractions") sounds related but is not - it addresses dot consumption, not the exponent path. Lines 323–331 of LEX_.ML are unchanged. Reproducer: crash_float_9584.bin and crash_float_3136.bin (attached) - feed via poly < crash_float_9584.bin Proposed fix: cap exponent accumulation at 20 digits and emit a lex error on overflow. I have validated this locally and would be happy to submit a pull request if that is welcome. Finding 3 - Three faults in module elaboration (TYPE_TREE.ML, TYPECHECK_PARSETREE.sml) Fuzzing with a module-heavy corpus found three faults in the elaborator, all reproducible without sanitisers. Crashes 1 and 2: Nested structure seed with AFL++-corrupted identifiers. Input passes the parser and faults in the elaborator. On current upstream master these now produce an infinite hang rather than SIGSEGV, indicating the code path changed but the root cause is unresolved. Crash 3: 80-byte reproducer: structure Mat0=struct val 0=0 fun s0uare x=x+x fun e 0=()end;val a=Mat0.s0uare 0.0 val 0 = 0 inside a structure body is accepted by the parser without error. The elaborator then assumes the left-hand side of a val binding is always an identifier and dereferences accordingly into invalid memory. SIGSEGV confirmed on current upstream master. Reproducers: crash_nested_1.bin, crash_nested_2.bin (crashes 1 and 2), crash_val00.bin (crash 3) - feed via poly < crash_val00.bin I do not have a proposed fix for Finding 3 - it requires deeper understanding of the elaborator's type safety assumptions. I am happy to provide any additional details or the full AFL++ campaign logs. Kind regards, Aravinth Kaneshalingam

1 0

Interrupting the read-eval-print loop
by Rob Arthan 28 Mar '26

28 Mar '26

I am seeing non-deterministic behaviour in the way keyboard interrupts are handled in the REPL. Some unknown factor seems to be causing some instances of poly to ignore them while other instances do what I would expect: Here in one terminal window, no matter how long I wait, there is no response to a Ctrl-C: rda]- poly Poly/ML 5.9.2 Release > ([ # ^C In another terminal window, I see what I would expect: rda]- poly Poly/ML 5.9.2 Release > ([ # ^CCompilation interrupted > I see exactly the same behaviour if I send the signal from another terminal window using kill -INT. This is all on Mac OS Sequoia 15.3.2. I don’t recall having any problems like this on older releases of Poly/ML say prior to 15.9, though I can’\t say exactly when it started. The behaviour I would expect is very useful as, if you’ve mistakenly copied in some badly formed input, it can be quite fiddly to work out how to continue the input to get back to the top-level prompt of the REPL without accidentally executing something you don’t want to be executed. Any suggestions? Rob.

2 2

Issue with vector header file during Poly/ML build
by Rob Arthan 24 Mar '26

24 Mar '26

I am trying to build Poly/ML from the 5.9.2 tarball on Mac OS Sequoia 15.3.2 and it is failing as follows on my Mac Mini: rda]- make /Library/Developer/CommandLineTools/usr/bin/make all-recursive Making all in libpolyml /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/usr/local/poly/5.9.2-fixed/lib/polyml/modules\" -O3 -MT arb.lo -MD -MP -MF .deps/arb.Tpo -c -o arb.lo arb.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/usr/local/poly/5.9.2-fixed/lib/polyml/modules\" -O3 -MT arb.lo -MD -MP -MF .deps/arb.Tpo -c arb.cpp -fno-common -DPIC -o .libs/arb.o In file included from arb.cpp:93: ./memmgr.h:27:10: fatal error: 'vector' file not found 27 | #include <vector> | ^~~~~~~~ 1 error generated. make[2]: *** [arb.lo] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 It builds fine on my MacBook which is running the same OS and the same version of the Xcode tools. There are suggested fixes to similar problems (but not with Poly/ML) on the Web but the proposed solutions don’t work for me. Any suggestions gratefully received. Regards, Rob.

1 1

Symbolic identifiers for module names
by David Matthews 21 Mar '26

21 Mar '26

A student at KCL, Enzo Bestetti, has been doing a systematic analysis of Poly/ML's lexer. There weren't any serious problems but he did mention something that made me look more closely. It turns out that Poly/ML has been accepting symbolic identifiers, those made up of the symbols +, - etc, for structure, signature and functor names. It looks as though this changed between SML90 and SML97 and I hadn't realised. The SML90 definition explicitly includes symbolic identifiers for signature and functors and doesn't appear to rule them out for structures. The SML97 restricts them to alphanumeric only but I can't see this included in the list of changes in Appendix G which is why it slipped through. I'm proposing to restrict module names to alphanumeric to bring Poly/ML into line with the SML97 Definition. I can't imagine that this will affect anyone but I thought I'd mention it. David

2 1

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

Jump to page:

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