mechazoidal + ml   19

GitHub - SOSML/SOSML: An interpreter for Standard ML written in TypeScript.
"It is to be used as a learning tool in a freshman class at Saarland University; you can try it out at https://sosml.github.io"
ml  sml  javascript  typescript  repo:github  education 
5 weeks ago by mechazoidal
lightweight concurrency in lua -- wingolog
Noting that Concurrent ML is more of a protocol than a language, and then goes on to implement it in Lua in about a few hundred lines
lua  concurrency  concurrent_ml  ml  piperesearch 
may 2018 by mechazoidal
The Mythryl Foundation
"the elevator pitch is “SML/NJ with a posix face” - it’s trying to bring SML on par with C as a “native” language for developing posix userland tools and applications in. to that end, there are several syntactic changes to make the language more familiar to C programmers, a scripting interface that includes eval, backticks and a shebang line, a lot of work put into “production” as opposed to “language research” issues, well-engineered interfaces to lower-level C libraries, and ultimately the mythryx project:"
"from a pure language point of view, i think the most interesting bit is the introduction of “eval” - it is an attempt to expose the incremental design of the SML compiler to program code, though as he points out it’s currently limited to a few common cases"
sml  ml  programming  language 
july 2017 by mechazoidal
F*: A Higher-Order Effectful Language Designed for Program Verification
"an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties. The F* type-checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs. Programs written in F* can be translated to OCaml, F#, or C for execution. "
(used in the HaCL* verified crypto library)
programming  language  functional  verification  ml 
june 2017 by mechazoidal
[Mythryl] Status update
PR: not so much for Mythryl itself, but his analysis/explanation of Concurrent ML, along with his notes on the GUI design patterns for same. He also outlines a "coarse-dataflow" system that sounds similar to where several systems(zmq, bloom, etc.) seem to be going.

Also a strong "memento mori" about toiling for an expected long-payoff, and overwork in general.
piperesearch  programming  post  inspiration  ml  concurrency  concurrent_ml  archived 
october 2015 by mechazoidal
Semantic Domain: How to implement a spreadsheet
Implementing a simple spreadsheet model in OCaml. But note:
"One thing I like about this program is that it also shows off how gc-unfriendly dataflow is: we track dependencies in both directions, and as a result the whole graph is always reachable. As a result, the usual gc heuristis will collect nothing as long as anything is reachable. You can fix the problem by using weak references to the observers, but weak references are also horribly gc-unfriendly (usually there's a traversal of every weak reference on every collection). So I think it's very interesting that there are a natural class of programs for which the reachability heuristic just doesn't work, and this indicates that some interesting semantics remains to be done to explain what the correct memory management strategy for these kinds of programs is."
piperesearch  ml  ocaml  dataflow  spreadsheet 
july 2015 by mechazoidal
ML for the Working Programmer, 2nd edition
"In response to recent requests, and with the agreement of Cambridge University Press, I have decided to make the full text of the book available in PDF. It remains copyright material and may be downloaded for personal use only, not for redistribution."
book  ml  sml  programming  free  computerscience 
may 2015 by mechazoidal
aliceml/aliceml
An extract of AliceML from the original mercurial repositories into a github repository
github  ml  aliceml  programming 
april 2015 by mechazoidal
Four MLs (and a Python)
"I wrote a small command-line text processing program in four different ML-derived languages, to try to get a feel for how they compare in terms of syntax, library, and build-run cycles."
comparison  ocaml  sml  ml  python  programming  2015 
april 2015 by mechazoidal
UW CSE341, Programming Languages, Winter 2013
"Good even for experienced programmers", taught by Dan Grossman
programming  computerscience  course  education  ml 
march 2015 by mechazoidal
Concurrent ML and HOPAC
Extolling the joy of "Concurrent Programming in ML" by John Reppy, which is apparently essential for understanding Concurrent ML. Discussion has some comparisons with other concurrency models/languages.
piperesearch  ml  concurrency  concurrent_ml 
december 2014 by mechazoidal
Concurrent ML
John Reppy's project, runs in SML. Not sure how it stacks up to Alice ML.
ml  sml  programming  concurrency  concurrent_ml 
december 2014 by mechazoidal
Standard ML Family GitHub Project
"provides a home for online versions of various formal definitions of Standard ML, including the "Definition of Standard ML, Revised" (Standard ML 97). The site also supports coordination between different implementations of the Standard ML (SML) programming language by maintaining common resources such as the documentation for the Standard ML Basis Library and standard test suites. The goal is to increase compatibility and resource sharing between Standard ML implementations."
sml  ml  programming  resource 
december 2014 by mechazoidal

Copy this bookmark:



description:


tags: