Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

"The limits of my keyboard mean the limits of my programming language."

If only they had had ⊥ and ⊤ somewhere on their keys to work with Booleans directly while designing the languages. In another branch of history, perchance.[1]

[1] https://en.wikipedia.org/wiki/APL_(programming_language)#/me...



⊥ and ⊤ is not entirely congruent to false and true.

Boolean and propositional logic is not the same.


For _ordinary_ two‑valued classical propositional logic, e.g., YAML, they are congruent.


I have an emacs macro for this




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: