kouzdra (kouzdra) wrote,
kouzdra
kouzdra
Category:

Синтаксическое

В why3 можно писать условия навроде

0 <= i < j < n

Значат они именно то что можно подумать, никаких проблем с синтаксическим анализом вроде бы не создают и довольно удобочитаемы;

0 <= i && i < j && j < n

ничем кроме более длинной записи вроде как не лучше.

интересно почему идея не очень пошла в массы?
Subscribe

  • По поповоду автора Садова

    Только счас понял что с владельцем этой наглой и ухмыльчивой физиомордии лично знаком, хоть и поверхностно. Всё-таки известная ухмылка им.герцога…

  • История с Зеленским, слушающим Зеленского

    Конечно прекрасна. Это судя по всему его любимый канал ему аудиторю в зале подмонтировал, чтоб не так одиноко выглядел, и немного лажанулся.

  • А вот кстати:

    Американские военные в настоящее время обучают «сотни украинцев» в Европе: от американской тактики ведения боя до использования танков «Абрамс»,…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
    Help
  • 20 comments

  • По поповоду автора Садова

    Только счас понял что с владельцем этой наглой и ухмыльчивой физиомордии лично знаком, хоть и поверхностно. Всё-таки известная ухмылка им.герцога…

  • История с Зеленским, слушающим Зеленского

    Конечно прекрасна. Это судя по всему его любимый канал ему аудиторю в зале подмонтировал, чтоб не так одиноко выглядел, и немного лажанулся.

  • А вот кстати:

    Американские военные в настоящее время обучают «сотни украинцев» в Европе: от американской тактики ведения боя до использования танков «Абрамс»,…