Re: Things that make you go Hmmmm!

On Sat, Mar 29, 2014 at 6:18 PM, Michael Kay <mike@xxxxxxxxxxxx> 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.