For example, ATS is ostensibly an ML-like language; but its "low level" examples look more like "C with stricter types" (e.g. its Cairo examples)
https://en.wikipedia.org/wiki/ATS_(programming_language)
For example, ATS is ostensibly an ML-like language; but its "low level" examples look more like "C with stricter types" (e.g. its Cairo examples)
https://en.wikipedia.org/wiki/ATS_(programming_language)