On Sat, Mar 29, 2014 at 6:18 PM, Michael Kay <mike(_at_)saxonica(_dot_)com>
wrote:
Functional programming is based on functions as first class values. A
function can appear anywhere that any other atomic value can appear.
Whether it is on the end of a print statement, as the object of a
return statement, as a member of a sequence, in a comparison. You
don't stop and say well I don't see what sense it would make for min
or gt to compare two functions or a function so I won't allow it.
You're arguing here for a language with very weak typing.
Am I. Didn't realise that was a logical consequence of that statement - my bad.
You can still have static typing and orthogonality.
Haskell, SML.
I'm in favour of orthogonality. There are pros and cons to both
static and dynamic typing and I can happily accomodate both types of
typing with an orthogonally designed language.
I concede if all my examples were not apposite but I hope believe the
point has been effectively conveyed regardless.
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--