It's certainly possible, although certain styles are more appropriate than others. For example, ATS is ostensibly an ML-like language; but its "low level" exam

It's certainly possible, although certain styles are more appropriate than others. 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) https://en.wikipedia.org/wiki/ATS_(programming_language)