miranda

It helps that Haskell was based on Miranda and the committee deferred to Miranda whenever they could not agree on something.

David Miranda was carrying material which he must have known a government would show interest in.

If the 58,000 documents they got from Miranda contain any such information, it inevitably follows that the full archive must too.

Police officers only have to give the Miranda warning when someone has been arrested.

John Backus' research on function-level programming, Robin Milner on ML, David Turner on Miranda from which Haskell is almost a direct successor, etc.

Even today, they may not know for certain[1] (except for the 58,000 documents David Miranda was carrying when he was detained in Heathrow).

David Miranda carried USB sticks with emcrypted material through a UK border.

David Miranda carrying the password for an encrypted file on a piece of paper[9]) and was susceptible to being pressured into giving up information under interrogation (c.f.

I understand Miranda handing them over as, in the UK, he has no prospect of protection by the courts (which, paradoxically, he possibly would have had in the US).

Even if he did something tremendously ill-advised, which doesn't sound like the case here, that does not justify a brutal beating and an assault charge, nor does it justify attempting to get Watts to waive his Miranda rights.

The only functional language you mentioned in your post is OCaml, which is impure and supports ad-hoc mutation, like every other language in the ML family, and like every other functional language except for a select few like Haskell and Miranda and their derivatives.

> We know that at least one of the people involved was not particularly good at operational security You refer to David Miranda but omit to mention that it was MI5 in the UK who put the pressure on.

> David Miranda, the boyfriend of the Guardian journalist Glenn Greenwald, was seized at Heathrow in 2013 in possession of 58,000 “highly classified” intelligence documents after visiting Snowden in Moscow.

There is no evidence of anyone being harmed.” The Sunday Times article can't even get some basic facts right: "David Miranda, the boyfriend of the Guardian journalist Glenn Greenwald, was seized at Heathrow in 2013 in possession of 58,000 “highly classified” intelligence documents after visiting Snowden in Moscow." Not true.

If you knew Miranda, you'll learn Haskell in no time, and 30 years in between them would not make it any harder.

I'm merely pointing out that the UK retrieved a subset of the archive when they detained Miranda.

The UK has abused their anti-terror law so ot was entirely predictable that they would abuse the law to detain and question Miranda.