`or` и` & `в OCaml

В OCaml инфиксные операторы or и & определены как синонимы для || и &&, соотв. Мне нравится первая группа операторов, потому что их немного легче набирать, и они заставляют меня думать, что я изучаю что-то отличное от обычных языков.

К сожалению, оба or и & помечены как устаревшие в руководстве. Я хотел бы знать

  1. когда это началось, и
  2. почему это так.

Если дизайнеры OCaml написали обоснование этого дизайнерского решения, я хотел бы знать, где оно находится. Буду признателен за вашу помощь.

Как примечание, вот что я подумал:

Аргумент 1 . || и && более дружелюбны к бывшим программисты C и его потомков.

Контр-аргумент 1 . OCaml во многом похож на C. Не имеет смысла делать так, чтобы он выглядел как C только в этом конкретном отношении.

Аргумент 2 . Более желательно иметь одинаковые символы как для соединения, так и для дизъюнкции.

Контр-аргумент 2 . На естественных языках у нас был только специальный символ & для соединения, а не для разъединения, и мы были довольны этим на протяжении веков. Кроме того, некоторые учебники по логике, в том числе Математическая логика Шоенфилда, используют совершенно разные символы для дизъюнкции и конъюнкции, а именно, & и ∨.

7 голосов | спросил Pteromys 19 MaramWed, 19 Mar 2014 05:02:00 +04002014-03-19T05:02:00+04:0005 2014, 05:02:00

1 ответ


0

Он был помечен как устаревший в .

Я не знаю какого-либо обоснования дизайна для этого, вероятно, сходство C было главной движущей силой. Кроме того, or и & являются ключевыми словами в jocaml - это могло быть одной из причин, препятствующих их использованию в обычном OCaml.

ответил ygrek 19 MarpmWed, 19 Mar 2014 13:10:59 +04002014-03-19T13:10:59+04:0001 2014, 13:10:59

Похожие вопросы

Популярные теги

security × 330linux × 316macos × 2827 × 268performance × 244command-line × 241sql-server × 235joomla-3.x × 222java × 189c++ × 186windows × 180cisco × 168bash × 158c# × 142gmail × 139arduino-uno × 139javascript × 134ssh × 133seo × 132mysql × 132