Re:Functional Programming in Lean – a book on using Lean 4 t...
by saghm on Wednesday May 31, 2023 @12:12PM
(#36140036)
From what I can tell, the link doesn't seem to disagree with me? The quote I was responding two characterized `?` and `:` as separate operators, and I argued that they were in fact one operator with two separate syntax tokens. The link you provided describes `?` and `:` as a single operator, which is consistent with what I said. I suspect that the C++ standard doesn't disagree with me that half of two is one, which would mean that `?` is half of the operator, and `:` is the other half.
[ Parent
| on HN ]
There are no comments on this comment yet.