tautology = lambda _: true<br>
_________ = lambda _: false<br>
ChatGPT: contradiction
聽起來太哲學了，不夠工程。但我也說不出為什麼 tautology 不會太哲學。
或許是因為 contradiction 會被誤解成 counter example 但 tautology 不會？
short_circuit_or = lambda f, g: lambda x: f(x) or g(x)
________________ = labmda f, g: lambda x: any([f(x), g(x)])
註︰上式應寫作 lambda f, g: lambda x: (lambda a: a[0] or a[1])([f(x), g(x)])
問了一圈同事沒有人知道。
ChatGPT: non-short-circuit logical or
Search Engine: eager or
–
※ 發信站: 批踢踢兔(ptt2.cc), 來自: xxx.xxx.xxx.xxx (新加坡)