Comment on Ask HN: Systems programming laanguage of the future?parentComments−globalrevOP18yWell I don't know it very well, that's partly why I'm wondering. But it is not very expressive. Is it not possible for example to have higher order functions in a low-level language? The type-system could be made safer(learn from Haskell).−wmf18yOCaml may be a good candidate; consider the example of Melange which was 1/3 the LOC of equivalent C with the same performance.
Comments
Well I don't know it very well, that's partly why I'm wondering. But it is not very expressive. Is it not possible for example to have higher order functions in a low-level language? The type-system could be made safer(learn from Haskell).
OCaml may be a good candidate; consider the example of Melange which was 1/3 the LOC of equivalent C with the same performance.