↧
Why are OCaml function arguments evaluated right-to-left?
Anyone know the answer to this? I was just reminded in another thread that this order prevents the definition of the (>>) operator, which sequences 2 monadic computations. Instead, we have to...
View ArticleWhy are OCaml function arguments evaluated right-to-left?
I think there are people more knowledgable on history, but I vaguely remember that this comes from the design of ZINC abstract machine, which is the basis of caml-light (a predecessor of OCaml). So,...
View ArticleWhy are OCaml function arguments evaluated right-to-left?
Yes indeed, @yoriyuki’s explanation above is correct. The right-to-left evaluation order is key to making the bytecode interpreter (which is still based on the ZINC design) efficient, more precisely...
View Article
More Pages to Explore .....