термологический вопрос

[deniok]

Коллеги! Не будет ли слишком изощренным издевательством во вводной части обзора Агды, при самом начале обсуждения типа Vec привести такие примеры

[true,false,true] : Vec Bool 3
[2,12,85,0,6] : Vec ℕ 5

Поясню - я не хочу в этом месте вдаваться в детали описания конструкторов, а скрытый здесь грандиозный обман я честным образом раскрою позже.

Comments

[nivanych.livejournal.com]

"Ви так говорите, как будто, в этом есть что-то плохое"
Ну так, если знать простое правило про идентификаторы, то ничего страшного-то нет.
В большинстве текстовых редакторов и просто средств для просмотра кода, визуально "m ≤ n" легко отличить от "m≤n".

[nivanych.livejournal.com]

Хотя и помнится, по-первости, меня слегка раздражало "идентификатор a+b неизвестен".
Причём, я не сразу на это натолкнулся — обычно, я пишу через пробел ;-)

[deni-ok.livejournal.com]

не, я согласен, что это хороший способ именования, просто к нему привыкнуть надо, очень уж он необычный

[nivanych.livejournal.com]

Я считаю, что агдочка достаточно красиво, чтобы её рассказывать без обману! ;-)

[deni-ok.livejournal.com]

Хорошо, так и поступим!

[nivanych.livejournal.com]

Нет, ну правда — неужели, этот мелкий синтаксический трюк что-то значит?

[deni-ok.livejournal.com]

я уже вполне согласен, что идея была дурацкой

[nivanych.livejournal.com]

Нет, я буду доказывать! ;-)