All Topics
All Topics
Technology
Technology
AI
AI
Business
Business
Entertainment
Entertainment
News
News
Programming
Programming
Security
Security
Science
Science
Design
Design
Environment
Environment
Finance
Finance
Crypto
Crypto
Politics
Politics
Sports
Sports
Education
Education
Gaming
Gaming
Art
Art
Music
Music
Health
Health
Books
Books
Food
Food
Travel
Travel
Personal
Personal
Bluesky
Twitter

Poly/ML: A Standard ML Implementation on GitHub

By

Lyngbakr

4h ago· 2 min readenCode

Summary

Poly/ML is a Standard ML implementation originally written in the Poly language. It has been fully compatible with the ML97 standard since version 4.0, takes a conservative approach to the Standard ML language avoiding incompatible extensions, and has added various library extensions particularly the thread library. The project is hosted on GitHub for community development.

Source

Hacker NewsPoly/ML: A Standard ML Implementation on GitHubgithub.com

Key quotes

· 3 pulled
Poly/ML is a Standard ML implementation originally written in an experimental language called Poly.
Poly/ML takes a conservative approach to the Standard ML language and avoids incompatible extensions.
Poly/ML's active development and unique features make it an exceptional implementation.
Snippet from the RSS feed
Poly/ML. Contribute to polyml/polyml development by creating an account on GitHub.

You might also wanna read

Comments

Sign in to join the conversation.

No comments yet. Be the first.