Poly/ML May 2020

polyml@lists.polyml.org

3 participants
2 discussions

Poly/ML software directory
by David.Matthews＠prolingua.co.uk 04 Jun '20

04 Jun '20

After the discussion about a random number library I've been thinking about how to implement a repository or register of similar things. At the moment a repository containing the actual code seems too much but a directory or register looks like it could be useful. I've set up a database and associated web pages for a directory of software for Poly/ML. Rather than maintain all the data myself I'm asking anyone who has a library, application, sample code or anything else to register with the site and add the appropriate entries. As a starting point I've made an entry for the Windows GUI library that is currently included in the Poly/ML distribution but which I've now pulled out into a separate repository on Github. This is a bit of an experiment and I don't know how useful it will turn out to be. The web pages themselves could do with being improved but they should be in a state for beta-testing. I've selected fields based on what I think would be useful but they can always be changed. The web site is at https://www.polyml.org/software/index.php and is linked from the main Poly/ML website at www.polyml.org. Let me know what you think. David

2 3

Char.toString ""
by kostirya＠gmail.com 21 May '20

21 May '20

Hello. Is it bug? Poly/ML 5.8 Release > val c = Char.toString #"\""; val c = "\\\"": string > explode c; val it = [#"\\", #"\""]: char list

2 2

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 May 2020