On Sun, Mar 8, 2009 at 2:22 PM, Dominique Quatravaux <[email protected]> wrote: > [currying] uses up syntactic design space that becomes > unavailable for other, arguably more important ones like optional > arguments. My uneducated guess is that the latter is way more useful > in a microkernel than currying.
Three answers: 1. I'm not convinced those other features are good. I'm not convinced that they aren't, either. 2. Being able to position ourselves as a dialect of ML is potentially useful at a marketing level. 3. I'm exploring a question at this point, not committing to an outcome. What's going on right now is that there are a bunch of dangling topics that I'm trying to play out, and then I will synthesize a concrete proposal for us all to jointly be unhappy with. :-) > Also > worth mentioning is that in OCaml, curry notation introduces some > typing shenanigans that quite squarely violate the principle of least > astonishment... That's a very helpful pointer. Thank you. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
