• Главная
  • Контакты
Подписаться:
  • Twitter
  • Facebook
  • RSS
  • VK
  • PushAll
logo

logo

  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • За год
    • Положительные
    • Отрицательные
  • Сортировка
    • По дате (возр)
    • По дате (убыв)
    • По рейтингу (возр)
    • По рейтингу (убыв)
    • По комментам (возр)
    • По комментам (убыв)
    • По просмотрам (возр)
    • По просмотрам (убыв)
Главная
  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • Главная
  • DeclarativeCOS — Декларативное программирование на Cache

DeclarativeCOS — Декларативное программирование на Cache +15

24.04.2017 08:45
jxcoder 11 1500 Источник
Проектирование и рефакторинг*, Программирование*, NoSQL*, Блог компании InterSystems
Проект DeclarativeCOS — крик души по теме программирования на COS.

Цель проекта — обратить внимание сообщества к улучшению внутреннего ядра COS.

Идея проекта — поддержка лаконичного синтаксиса при работе с циклами и коллекциями.

image

Итак, что же лаконичного я придумал? Добро пожаловать в примеры!

Примеры


Ключевой концепт проекта — декларативный подход. Нужно указать ЧТО нужно использовать и КАК.

Лично мне всегда не хватало простого оператора/команды/заклинания в терминале COS для того, чтобы вывести коллекцию на экран в том виде, в котором тебе это хочется. А теперь есть две приятные штуки: zforeach и $zjoin!

>s words = ##class(%ListOfDataTypes).%New()
>d words.Insert(“Hello”)
>d words.Insert(“World!”)

>zforeach $zbind(words, “io:println”)
Hello
World!

Здесь стоит рассказать подробнее о функции $zbind. Начать следует с того, что COS можно расширять своими командами и функциями, о чем можно подробно написано в соответствующей документации и статье на портале сообщества разработчиков.

Эта функция создает экземпляр класса Binder. Его задача — связать коллекцию и функцию, которую нужно применить к каждому элементу коллекции. В данном случае, используется стандартная функция с именем “io:println” из DeclarativeCOS, которая для заданного значения value выполняет простую команду:

>w value,!

Команда zforeach работает с экземпляром класса Binder, последовательно проходя по коллекции и применяя функцию к каждому ее элементу.

$zjoin — создает строку из коллекции, объединяя ее элементы между которыми добавляется указанный разделитель.

Пример: создать дату на основе дня, месяца и года используя разделитель “ / ”.
>s numbers = ##class(%ListOfDataTypes).%New()
>d numbers.Insert(“04”)
>d numbers.Insert(“03”)
>d numbers.Inset(“2017”)

>w $zjoin(numbers, “ / ”)
04 / 03 / 2017


$zmap — создает новую коллекцию из элементов исходной коллекции к каждому элементу которой применена указанная функция.

Пример: преобразовать каждое число в hex.
>set numbers = ##class(%ListOfDataTypes).%New()
>do numbers.Insert($random(100))
>do numbers.Insert($random(100))
>do numbers.Insert($random(100))

>write "[" _ $zjoin(numbers, ", ") _ "]"
[82, 12, 27]

>set hexNumbers = $zmap(numbers, "examples:toHex")

>write "[" _ $zjoin(hexNumbers, ", ") _ “]”
[52, C, 1B]


$zfind — находит первый элемент коллекции, на котором указанная функция возвращает $$$YES. Иначе возвращает null-строку.

Пример: найти простое число.
>set numbers = ##class(%ListOfDataTypes).%New()
>do numbers.Insert($random(100))
>do numbers.Insert($random(100))
>do numbers.Insert($random(100))

>set primeNumber = $zfind(numbers, "examples:isPrime")

>write "[" _ $zjoin(numbers, ", ") _ "]"
[69, 41, 68]

>write "Prime number: " _ $select(primeNumber="":"<not found>", 1:primeNumber)
Prime number: 41


$zfilter — создает новую коллекцию на основе исходной коллекции, но взяв только те элементы, на которых указанная функция возвращает $$$YES. Если таких элементов нет, то возвращает пустую коллекцию.

Пример: выбрать нечетные числа.
>set numbers = ##class(%ListOfDataTypes).%New()
>do numbers.Insert($random(100))
>do numbers.Insert($random(100))
>do numbers.Insert($random(100))

>set filteredNumbers = $zfilter(numbers, "examples:isOdd")

>write "[" _ $zjoin(numbers, ", ") _ "]"
[22, 71, 31]

>write "[" _ $zjoin(filteredNumbers, ", ") _ "]"
[71, 31]


$zexists — проверяет, что в коллекции есть хотя бы один элемент, на котором указанная функция возвращает $$$YES.

Пример: проверить, что в коллекции имеются четные числа.
>set numbers = ##class(%ListOfDataTypes).%New()
>do numbers.Insert($random(100))
>do numbers.Insert($random(100))
>do numbers.Insert($random(100))

>set hasEvenNumbers = $zexists(numbers, "examples:isEven")

>write "[" _ $zjoin(numbers, ", ") _ "]"
[51, 56, 53]

>write "Collection has" _ $case(hasEvenNumbers, 1:" ", 0:" no ") _ "even numbers"
Collection has even numbers


$zcount — подсчитать количество элементов в коллекции, на которых указанная функция возвращает $$$YES.

Пример: подсчитать количество палиндромов.
>set numbers = ##class(%ListOfDataTypes).%New()
>do numbers.Insert($random(1000))
>do numbers.Insert($random(1000))
>do numbers.Insert($random(1000))

>set palindromicNumbersCount = $zcount(numbers, "examples:isPalindromic")

>write "[" _ $zjoin(numbers, ", ") _ "]"
[715, 202, 898]

>write "Count of palindromic numbers: " _ palindromicNumbersCount
Count of palindromic numbers: 2


Установка


Для установки DeclarativeCOS достаточно скачать с официального GitHub репозитория проекта два файла:

  1. install.base.xml — просто классы. Без z-функций.
  2. install.advanced.xml — %ZLANG рутины, которые добавляют z-функции.

Как пользоваться


  1. Унаследовать класс от DeclarativeCOS.DeclarativeProvider.
  2. Реализовать метод класса.
  3. Пометить этот метод аннотацией @Declarative.
  4. Использовать z-функции DeclarativeCOS.
  5. Почувствовать счастье.

Подробная инструкция


Шаг 1. Унаследовать класс от DeclarativeCOS.DeclarativeProvider.
Class MyPackage.IO extends DeclarativeProvider
{
}

Шаг 2. Реализовать метод класса.
Class MyPackage.IO extends DeclarativeProvider
{

ClassMethod println(value As %String)
{
    w value,!
}

}

Шаг 3. Пометить этот метод аннотацией @Declarative.
Class MyPackage.IO extends DeclarativeProvider
{

/// @Declarative("myIO:myPrintln")
ClassMethod println(value As %String)
{
    w value,!
}

}

Шаг 4. Использовать z-функции DeclarativeCOS.
>s words = ##class(%Library.ListOfDataTypes).%New()
>d words.Insert("Welcome")
>d words.Insert("to")
>d words.Insert("DeclarativeCOS!")

>zforeach $zbind(words, "myIO:println")

Шаг 5. Почувствовать счастье!
Welcome
to
DeclarativeCOS!


Как это работает


Проект DeclarativeCOS использует глобал ^DeclarativeCOS для того чтобы сохранить информацию о методах, помеченных аннотацией @Declarative(declarativeName).

Каждая такой метод сохраняется в глобал в следующем виде:

set ^DeclarativeCOS(declarativeName) = $lb(className, classMethod)

Например, для функции io:println:

set ^DeclarativeCOS(“io:println”) = $lb(“DeclarativeCOS.IO”, “println”)

Каждый раз, когда используется функция io:println происходит поиск по глобалу, а потом функция $classmethod сделает вызов исходного метода (DeclarativeCOS.IO # println) на заданном значении.

Заключение


DeclarativeCOS это вклад в новый Cache ObjectScript. В тот самый язык, который действительно помогает своим разработчикам писать программы быстро, лаконично, просто и надежно. Добро пожаловать в критику, поддержку и мнения в комментарии под этим постом!)

Disclaimer: данная статья и мои комментарии к ней является моим мнением и не имеют отношения к официальной позиции корпорации InterSystems.
Поделиться с друзьями
-->

Комментарии (11)


  1. m03r
    24.04.2017 12:32
    #10188350

    Простите, пожалуйста, но про какой язык нельзя сказать, что он «действительно помогает своим разработчикам писать программы быстро, лаконично, просто и надежно»?

    P. S. А где монады?


    1. alexkunin
      24.04.2017 13:00
      #10188418

      Brainfuck же.

      А если серьезно, примеров можно много привести: AppleScript, ассемблер, все языки, созданные во времена жестких ограничений по ресурсам.


      1. m03r
        24.04.2017 13:14
        #10188452

        Ну, всё же они (кроме Brainfuck) были созданы именно для помощи программистам — насколько это было возможно при имеющихся ресурсах.


        1. alexkunin
          24.04.2017 13:40
          #10188492

          Ну, да, вы правы — если «быстро, лаконично, просто и надежно» относительно машкодов.

          были созданы именно для помощи программистам — насколько это было возможно при имеющихся ресурсах
          Тоже верно, но с какого-то момента программистов стало много, все разного уровня, и поэтому Бейсик с С++ сравнивать нельзя, т.к. у целевых аудиторий очень разные понятия о «просто», «лаконично» и т.д.

          В общем я с вами даже не спорю, просто поправил бы ваше «про какой язык нельзя сказать» на «про какой профессиональный язык нельзя сказать». Просто прицепился к максимализму во фразе, не обращайте внимания.


    1. jxcoder
      24.04.2017 13:13
      #10188444

      Монад пока нет, при желании можно добавить.


  1. TheShock
    24.04.2017 13:00
    #10188416

    Простите, а можете объяснить, пожалуйста, в чем декларативность? Мне код кажется очень императивным? «Сделай а, потом б, потом в».

    То, что используются процедуры, а не классы еще ведь не делает код декларативным


    1. jxcoder
      24.04.2017 13:11
      #10188440

      Тонкое замечание) спасибо за вопрос!)

      Проект помогает скрыть слой циклов. Разработчику остается написать что нужно сделать с элементами коллекции. Всё остальное (по сути, только цикл) проект сделает сам.


      1. vics001
        24.04.2017 15:24
        #10188716
        +1

        Декларативный стиль предполагает «выполни задачу А, но я не знаю как», императивный — «сделай шаг А1, затем шаг А2». Грубо говоря императивный стиль описывает «алгоритм», а декларативный описывает «постановку задачи на формальном языке». If/else/for/while — все это признаки императивного стиля.


        1. jxcoder
          24.04.2017 16:46
          #10188874
          +2

          Согласен. Но давайте взглянем на этот проект свежим взглядом.

          Возьмем достаточно примитивную задачу: сделать строку из коллекции используя заданный разделитель.

          Как это сделать в императивном стиле? В императивном стиле мы должны пройти по всей коллекции и вручную соединять ее элементы с разделителем попутно формируя итоговую строку.

          Как это будет выглядеть в декларативном стиле? Я себе это понимаю так, что мы говорим языку программирования «Эй, дружище, а сделай мне пожалуйста строку из вон той коллекции! И, да, кстати, вставь пожалуйста между элементами этой коллекции разделитель. Какой? Вот этот.».

          Мой проект как раз и идет по второму пути. Приведу небольшой пример. Пусть у нас есть коллекция из букв и мы хотим их собрать в строку. Ну мало ли для каких целей нам это понадобилось. Прошу сконцентрироваться не на самой постановке задачи, а именно на пути ее решения.

          Вначале создадим коллекцию из букв.

          >s symbols = ##class(%ListOfDataTypes).%New()
          >d symbols.Insert(“H”)
          >d symbols.Insert(“e”)
          >d symbols.Insert(“l”)
          >d symbols.Insert(“l”)
          >d symbols.Insert(“o”)


          А теперь решим поставленную задачу.
          >w $zjoin(numbers, “ ”)
          H e l l o


          Всего одна функция. Никакой императивности. Мы говорим что хотим и получаем это.


          1. TheShock
            24.04.2017 17:10
            #10188922

            Разве воспользоваться библиотечной процедурой — уже декларативность? Си — декларативен?
            А ваше создание коллекции из букв разве не императивность?
            По-моему, вы написали обычную процедурную либу.

            Сейчас почему-то модно называть стиль php 4-й версии декларативным и функциональным)


            1. jxcoder
              24.04.2017 17:26
              #10188940
              +1

              :) Создание коллекции это отдельная тема, которая в моем проекте не затрагивается. Проект работает с уже созданными коллекциями. Во всяком случае пока)

              «Библиотечная процедура» — звучит очень здорово!) я понимаю к чему Вы ведете.

              Я понимаю так, что «декларативность» — способ решения задачи. Если мы решаем какую-то задачу и при этом не заморачиваемся над тем, чтобы описать ее реализацию, то пожалуй это всегда здорово независимо от того как мы это будем называть) Ведь так?)

              Особенно чудесно, когда язык сам дает инструменты описать решение задачи. По сути всё можно свести к вызову некоторых функций. Просто в каждом конкретном случае уровней абстракций больше или меньше.

МЕТКИ

  • Хабы
  • Теги

Проектирование и рефакторинг

Программирование

NoSQL

Блог компании InterSystems

intersystems cache

COS

cache objectscript

declarative

programming

creative

programming art

open source

СЕРВИСЫ
  • logo

    CloudLogs.ru - Облачное логирование

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.
Все публикации автора
  • DeclarativeCOS — Декларативное программирование на Cache +15

    • 24.04.2017 08:45

    MonCache — реализация MongoDB API на основе InterSystems Cache +13

    • 08.02.2016 09:30

    NSNJSON. ? (Заключительная статья) +10

    • 06.11.2015 05:00

    Не COSим от разработки на Cache +4

    • 04.11.2015 21:46

    JSON для любителей скобочек -3

    • 02.11.2015 18:09

    Усложнённый упрощённый JSON -6

    • 25.10.2015 18:05

Подписка


ЛУЧШЕЕ

  • Сегодня
  • Вчера
  • Позавчера
07:49

Юра, мы всё: как Россия проиграла новую космическую гонку +100

10:03

Как мы учим роботов ходить плавно, или Почему градиент градиента — это не опечатка, а ключ к безопасной робототехнике +35

13:24

BA + UX: смешать, но не взбалтывать. Как мы объединили дизайн и аналитику на примере очень запутанной фичи +26

11:18

Основная проблема с кадрами или на заметку HR +24

08:02

Интерфейсы без экрана: как разговаривают голосовые ассистенты, когда никто не слышит +24

13:16

Почему Go такой странный, и ещё 8 холиварных тем про Golang +22

11:41

Эволюция UI за 35 лет: от GIF и Comic Sans к нейросетям и адаптивам +22

13:01

Что же такое TPU +19

09:01

Жизнь и смерть Карла Коха: первый хакер на службе КГБ в поисках всемирного заговора и тайны числа 23. Часть 8 +19

11:05

Запускаем MIPI DSI экраны от смартфонов. Разработка схемы основной платы. Часть 1. Обзор решений, создаём своё +15

09:02

Под капотом WordPress — разбираем движок и изучаем инструменты +13

13:16

Visopsys — ОС, которую написал один человек +11

09:16

Обнаружение дронов (БПЛА) с использованием ИИ и компьютерного зрения +11

12:47

Я тестировщик и два месяца работал без рук. Вот, что я понял +10

09:10

Тест-драйв WAF: как быстро и на практике проверить, подходит ли вам файервол +10

10:40

Использование open source в KasperskyOS +9

09:46

Как обобрать дерево в несколько потоков? +9

13:46

«IT-Планета 2025»: задачи второго этапа по PostgreSQL +7

07:20

Китайцы разработали ИИ-платформу для разработки чипов. Что это за инструмент? +7

12:18

Красивый, умный, полезный: каким должен быть идеальный робот +6

09:05

Сервер за копейки +160

07:00

Как недовольный инженер часовые пояса придумал +60

13:01

Цифровая чёрно-белая фотография +59

02:42

Недавно потенциальный клиент спросил, сколько стоит час моей работы +45

11:06

Что на сегодня ясно про распад жира ( внутри человека ) +43

09:04

Hello, World!“ и прощай: Почему новички сливаются из IT быстрее, чем успевают написать первую программу +43

08:01

Векторный поиск внутри PostgreSQL: что умеет и где может пригодиться pgvector +40

15:14

Генерация юнит-тестов с LLM: если бы посуда мылась сама +36

11:11

Нестыдные вопросы про телеком: как устроена опорная сеть 5G простыми словами +36

07:30

Похмелье и тесты, где мужчины плакали +34

09:02

Почему в бюджете ЦОДа лидирует статья «электричество» +30

07:52

Как прошел день рождения Хабра с авторами, компаниями и партнерами +30

10:31

Уникальная компания Disco и её система Will: работа как игра +27

20:31

Плохие JOIN’ы: приемы, которые (нечаянно) кладут прод +24

09:35

Пошаговое руководство по написанию эксплойта ядра iOS +23

06:48

Штрафуем рёбра: новая логика перестроения маршрутов в 2ГИС +19

13:34

Новые модели электронных книг 2025 года и кое-что еще. Что предлагает рынок? +17

12:59

Топ-5 нейросетей для генерации видео в 2025 году +15

12:30

HandReader и Znaki — лучшая архитектура и самый большой набор данных для распознавания русского дактиля +15

14:38

Как спроектировать потокобезопасный класс в Java +12

09:00

Исследую роутеры с «вечным VPN» с российских маркетплейсов: admin:admin, открытые порты и доступ к соседям +301

00:19

Зачем TWS-наушникам ограничение AAC в 128 кбит/с? +185

19:00

Мой идеальный компьютер +96

09:02

Конец Windows 10 — лучший подарок для десктопного Linux +83

18:01

9 коротких промптов, которые делают работу с ChatGPT (и любым другим ИИ) проще и веселее +73

18:56

Перепрограммируем заводской Zigbee датчик протечки от компании Tuya +70

13:01

Самый быстрый способ нахождения гласной в строке +42

16:14

Как родители становятся киберсквотерами: эпоха непрошеного цифрового наследства +38

14:00

Как я за миллион делаю то, что заводы продают за 60 +37

17:48

Конструктор шины PCIe +34

08:11

Как мы разрабатываем отечественный AI-процессор. Часть 2. Секреты GPGPU +33

12:55

API: теперь и на бумаге +32

08:06

Как работать с биометрическими персональными данными +32

06:11

Схемы раскладки теплого пола +32

06:24

AMD Ryzen 5 5500X3D: новый чип для старого сокета AM4 +31

04:57

Кринж-обзор на ПМЭФ-2025, а также исследование про ИИ и тупость +30

10:39

15 минут — и у тебя бесплатная ИИ-модель для генерации кода, текста, иллюстраций +25

12:05

Сложно о простом. Как работает интернет. Часть 5. Будущее (ли?) сетей: IPv6, SDN и Overlay сети +24

05:23

Лишние люди? +21

23:32

Лаборатория в смартфоне: изучаем эффект Доплера на палочках в Android +20

ОБСУЖДАЕМОЕ

  • Конец Windows 10 — лучший подарок для десктопного Linux +83

    • 592   31000

    Что не так с ООП в 2025 +13

    • 283   5200

    Юра, мы всё: как Россия проиграла новую космическую гонку +110

    • 214   23000

    Лишние люди? +21

    • 197   5700

    Сервер за копейки +162

    • 178   43000

    Hello, World!“ и прощай: Почему новички сливаются из IT быстрее, чем успевают написать первую программу +46

    • 172   28000

    Зачем TWS-наушникам ограничение AAC в 128 кбит/с? +185

    • 149   20000

    Исследую роутеры с «вечным VPN» с российских маркетплейсов: admin:admin, открытые порты и доступ к соседям +301

    • 147   103000

    Самый быстрый способ нахождения гласной в строке +42

    • 72   9600

    Мой идеальный компьютер +96

    • 68   26000

    Я вам заявляю, с Linux мы доигрались: теперь точно знаем, как начать в нём карьеру +6

    • 63   85000

    9 коротких промптов, которые делают работу с ChatGPT (и любым другим ИИ) проще и веселее +73

    • 61   52000

    Что на сегодня ясно про распад жира ( внутри человека ) +43

    • 52   6300

    15 минут — и у тебя бесплатная ИИ-модель для генерации кода, текста, иллюстраций +25

    • 50   29000

    Как я за миллион делаю то, что заводы продают за 60 +37

    • 47   32000
  • Главная
  • Контакты
© 2025. Все публикации принадлежат авторам.