bright-ml icon indicating copy to clipboard operation
bright-ml copied to clipboard

Published 20 hours ago • verified publisher icon elpinal
→

Metadata

A statically-typed programming language based on "F-ing modules"

Results 1 bright-ml issues
Sort by recently updated
recently updated
newest added

Unsoundness of mutable references

It has turned out that mutable references in Bright ML is unsound. The following code is adopted from SML code in http://mlton.org/ValueRestriction and causes Bright ML crash. ``` val f...

elpinal avatar elpinal

← Metadata

79
Stars
1
Forks
Watchers

Owner

verified publisher icon elpinal

Metadata

A statically-typed programming language based on "F-ing modules"

Back