Далі йде переклад статті «Using UML to understand Lojban». в якій коротко описується штучна мова ложбан близьким програмістам способом.
Ложбан (в латнской транслітерації Lojban) - це штучна мова, розробку якого почав доктор Джеймс Кук Браун (Dr. James Cooke Brown) в 1955 році. Розвиток мови триває і по сьогоднішній день, зусиллями сотень людей. Ложбан призначений для спілкування між людьми, і можливо в майбутньому, для спілкування людей з машинами. При створення мови ставилися цілі зробити його культурно незалежним, з'єднати граматику з логічними правилами, реалізувати правило: «Як читається, так і пишеться», гарантувати однозначність розуміння тексту, забезпечити легкість вивчення. Основний словник ложбан містить лише 1350 слів, з яких можна легко скласти понад мільйон складних слів.
Ложбан (в перекладі з ложбан - логічна мова) виник як експеримент з перевірки кіпотези Сепіра-Уорфа (Sapir-Whorf hypothesis або SWH); в цей час (в 1955) ложбан називався Loglan. SWH має сильну і слабку формулювання. Сильна формулювання стверджує, що мова визначає спосіб нашого мислення, визначає те, що ми думаємо. У граничній формі це означає, що обмеження нашої мови, обмежують населяє нами світ. Слабка формулювання устверждает, що розмовна мова впливає на культуру, тобто на те, що суспільство робить, і над чим воно думає.
Знайомство з граматикою ложбан.
Граматика ложбан досить незвичайна і найкраще може бути обьясню в термінах ложбан.
Звичайне пропозицію на ложбане, зване Бріді, виражає деяку ідею або твердження. У російській мові всі нижченаведені пропозиції, хоча і використовують різні граматичні конструкції, висловлюють деякий взаємовідношення між об'єктами:
Ці пропозиції можна перевести як Бріді на ложбане:
Зауваження: На ложбане слова патфу, барда, Клам і т.п. були створені алгоритмічно, з використанням шести найбільш поширених мов: китайської, хінді, англійської, російської, іспанської та арабської.
У ложбане порядок слів (програміст б сказав: сигнатура функції) визначено для кожного відносини. Положення слова (з точки зору програміста: аргументу) в Бріді вказує роль слова в групі слів. Наприклад, повне визначення для Клам (третє речення вище) містить п'ять аргументів:
Отже ми Клам ла Паріс. ла лондон. ( «Я їду в Париж через Лондон») означає щось відмінне від ми Клам ла лондон. ла Паріс. так як порядок аргументів визначає з сенс.
Аргумент у Бріді називається сумті. Центральне слово в Бріді. зване селбрі. іменує саме ставлення.
Таким чином Бріді зазвичай має наступну форму.
сумті селбрі сумті сумті ...
Глосарій граматики ложбан
Якщо ми звернемося до шести наведених вище Бріді. ми побачимо наступні типи слів:
У наступних Бріді
- до Мамта ми ( «ти моя мама» -т.е. «ти мама мене»)
- до патфу ми ( «ми мій батько» -т.е. «ти тато мене»)
Мамта і патфу грають роль селбрі. Це різні брівла. Брівла - це сенс утворить слово, яке може бути:
- гісму - вбудовано в мову.
- лужво - складається з комбінації гісму.
- фу'івла - запозичене з іншої мови і адаптовано для ложбан.
Ми вже користувалися кількома гісму. які формально визначені в такий спосіб:
- патфу. x1 є батьком x2.
- барда. x1 є великим в сенсі / вимірі x2 по стандартам x3.
- Клам. x1 йде / їде в x2 з x3 через x4 використовуючи засіб x5.
- дундою. x1 дає / дарує (що?) x2 Бенефіціант (кому?) x3 (безоплатно).
- Шріна. x1 є зеленим.
- млат. x1 є кішкою / кошеням породи x2.
Тут x1, x2 і т.д. позначають аргументи (сумті) допустимі в предикате (Бріді), коли це гісму грає роль себлрі. Аргументи не є обов'язковими, але якщо вони присутні, то порядок слів у Бріді допомагає зрозуміти сенс пропозиції.
Селбрі також можуть бути танру. тобто метафорою, побудованої з декількох брівла. наприклад:
- ми сутра бажра (Я швидкий бігун).
- до барда нанла (Ти великий хлопчик).
- ми дундою патфу (Я батько, який дарує).
- зранку. x1 швидко робить x2.
- бажра. x1 біжить по поверхні x2 за допомогою кінцівок x3 Алюр / в темпі / ходою x4.
- нанла. x1 є хлопчиком / юнаків віку x2 (неповнолітнім) за стандартами x3.
Відзначимо, що значення танру може бути розпливчастим.
Ліва частина танру називається селтау; це модіфіктор крайнього правого брівла в танру. яке називається тертау. Танру має структуру його тертау.
Танру можуть бути більш складними, складатися більш ніж з двох брівла. Складні танру мають семантичне правило «угруповання зліва», яке можна змінити, використовуючи шмаво бо. яке має найвищий пріоритет. Наприклад, використовуючи розширений словник ...
- Шмаль. x1 є маленький в сенсі / вимірі x2 (ka) в порівнянні / стандартам x3.
- nixli. x1 дівчинка віку x2 (неповнолітня) за стандартами x3.
- Шкулі. x1 школа / інститут / академія at x2, навчальна предмету x3 аудиторію x4 керовану x5.
... ви можете побудувати такі складні танру. використовуючи селбрі в наведених для прикладу Бріді. які означають «це школа маленьких дівчаток», але їхній зміст точніше, ніж в російській мові:
- та Шмаль тіхлі Шкулі (правило угруповання зліва) «Це школа для маленьких дівчаток
- та Шмаль бо ніхлі Шкулі (означає те саме, що і попереднє речення):
- та Шмаль тіхлі бо Шкулі (означає щось інше):
«Це маленька школа для дівчаток.»
Ви пам'ятаєте про лужво. одному з типів брівла. Я б сказав, що лужво відбувається з комбінації гісму. Словник ложбан заснований на списку 1350 гісму. і словотвір лужво - єдиний спосіб поплнено словник. Лужво утворюється з'єднанням танру і фіксацією його значення (через контекст).
- Герко. x1 собака породи x2.
- здани. x1 гніздо / будинок / барліг (кого?) x2.
означає «будинок, який має відношення до собаки або собакам.» Воно може означати все що завгодно з переліченого нижче:
- будинок, населений собаками
- будинок у формі собаки
- собака, яка є для кого-то будинком
- будинок, називається на честь собаки
Якщо ви хочете сказати «буда», вас потрібно створити з танрулужво. тобто скомбінувати два Рафс. відповідні гісму з базового словника (я не буду пояснювати повністю це правило).
Щоб сказати «будка», ми може тепер побудувати нове слово з Герко здани. і встановити його значення і структуру:
- герзда для якого:
x1 = x1 для здани = будинок
x2 = x2 для здани = мешканець = x1 для Герко = собака
Герко здани тепер є велжво для герзда.
Тепер розберемо, як перетворити становище селбрі в «описову сумті.» Всі аргументи x1, x2 і т.д. у попередніх прикладах були заполнеи займенниками (сумті шмаво), за винятком прикладу: «ла Паріс," який містить артикль (гадрі): ла. Цей артикль перетворює Шмен «Паріс» в описову сумті. Є й інші гадрі для використання з гісму. Припустимо, я хочу сказати: «Моя мама дала зеленого кошеня великий дівчинці.» Мені потрібно щось, щоб заповнити аргументи для «дає» (x1 - донор), «що» (x2 - подарунок), і «кому» (x2 - одержувач). Шмаво «ле» автоматично має на увазі перший аргумент в Бріді. якщо за ним слід єдине брівла або танру. Сполучене з «се» воно перетворюється в другій аргумент, з «ті» - в третій. наприклад:
- ле дундою (дарувальник)
- ле се дундою (подарунок)
- ле ті дундою (одержувач)
- ле млат (кіт)
- ле се млат (порода кота)
- ле Шріна млат (кіт, який має відношення до того, щоб бути зеленим)
- ле ми Мамта шу дундою ла Шріна млат ле барда ніхлі
Моя мама дає зеленого кота великий дівчинці. - ле Шріна млат шу се дундою
Зелений кіт відданий (кому-то).
Зелений кіт - подарунок. - ле барда ніхлі шу ті дундою ле Шріна млат
Велика дівчинка отримала кота.
Хтось подарував великий дівчинці зеленого кота.
Зауваження: «шу» є шмаво. що використовується для введення в расмотренного селбрі. Якщо шу прибрати з першого прикладу вище, то «Мамта дундою» може бути інтерпретовано як танру. що означає «дарувальник, який має якесь відношення до материнства.» Т.о. необхідний спосіб відокремити кінець першого сумті від початку селбрі. для цього і призначається «шу«. Воно необов'язково, якщо перше сумті просте, подібно сумті шмаво. але необхідно, якщо перше сумті складене.
Взагалі кажучи, описатели іспользуютс, щоб перетворити селбрі в сумті. Якщо ви вивчаєте ложбан, ви побачите, як «події» перетворюються в bridi в selbri.
Пропозиції вище суть конкретні реалізація (instances) наступної діаграми класів. Зауважимо, що класи селбрі і сумті перетворилися в інтерфейси.
Навіщо використовувати UML Діаграма?
В якості подарунка, мені б хотілося дати вам набір для виживання, складений з кількох слів і пропозицій на ложбане, на випадок, якщо ви раптом заблукаєте в ложбаністане на наступних вихідних:
- шоі (Привіт)
- ми на жімпе (Я не розумію)
- ми хагжі (Я голодний)
- ма до Шмен (Як тебе звати?)
- ми ПРАМ до (Я люблю тебе [не зловживайте цим])
- кі'е (Спасибі)
- Шо'о (До побачення)
- ко до Куржо (Бережи себе)
Доповнення: Мови програмування і ефект SWH
В наш час, слабка формулювання SWH (мова впливає на культуру) визнана повсюдно.
Однак питання, пов'язані з сильною формулюванням, до сих пір дебатуються. Чи обмежує нашу мову наші думки? Якщо мова - це засіб розчленування сприймають реальності на шматочки, чи дають різні мови більш точне розуміння одних шматків, і грубе інших?
Люди, що мають справу з декількома зяикамі, майже напевно дадуть відповідь «так». У певних обставинах, вони знаходять, що їх думки легше формулювати на одній мові, ніж на іншому з ним відомих. Наприклад, наприклад, в російській немає займенника, що означає «він або вона», проте в ряді мов (наприклад, ложбане) є займенник, що не вказує статі. Особисто я вважаю, що мова відображає як культурну та історичну основу, так і процес розвитку, який ніколи не припиняється. Таким чином, знання лише однієї мови може обмежити наші можливості обговорювати ідеї, але як тільки ми приносимо нову ідею, мову розширюється, щоб прийняти і відобразити ці ідеї.
...
Чи можемо ми сказати, що мова інженерів обмежує простір рішень і зумовлює рішення, які ми можемо виявити? Як сказав Eric Steven Raymond, теоретик програмування: «Свобода розробки програм часто обмежується способом мислення розробників, сформованому під впливом вибраної мови або оточення (можливо не застарілого), і який не можна просто відкинути.» В цьому і знаходяться корені відомої жарти:
«Хороший програміст на фортране, може програмувати на фортране, якою б мовою програмування він не писав.»