• Главная
  • Контакты
Подписаться:
  • 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

Подписка


ЛУЧШЕЕ

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

Почему я больше никогда не буду Team-Lead и тебе не советую +79

09:56

Структурки для ошкурки от ВТБ: как потерять 14 млн руб. на «сверхнадежных облигациях» всего за неделю +34

08:01

Полный айсберг Android. Часть 1 +27

07:05

Китайский интернет куда-то исчезает +27

09:01

Легендарные костыли в продакшене +20

00:48

«Очумелые ручки» или собираем держатель для смартфона с клавиатурой и тачпадом из доступных средств +17

07:00

Как мы делаем ВКС в Яндексе, часть 2: это волшебное слово — эксплуатация +15

13:01

3D-моделирование из бумаги +14

08:00

Искусственный интеллект в разработке: изучаем тренды и реальное применение +12

05:15

Как я шахматного бота писал +12

12:14

Топ-12 бесплатных нейросетей для создания видео и оживления картинок +11

07:30

Топ-6 Python-библиотек для визуализации +10

09:10

Главный эффект Манделы в мире программистов — сколько байт в мегабайте +9

09:51

Linux Open Port: пошаговое руководство по управлению портами фаервола +8

10:58

Оптимизация функций компьютерного зрения (библиотека OpenCV) для RISC-V +7

10:30

Книга: «Дизайн в масштабе. Создание устойчивой дизайн-системы» +7

10:20

N100 это не только ценный мех: самые совершенные процессоры для офисных задач +7

09:43

Spark Connect. А нужны ли перемены? +7

09:01

USDe — стейблкойн, который ничем не обеспечен? +7

08:48

Нужна такая же CRM для B2B, но с перламутровыми пуговицами. Будем кастомизировать сами +6

05:41

Одноразовый вейп в качестве веб-сервера +147

03:25

Что если представить habr в виде obsidian-графа? +74

14:01

Коллекция полезных HTML и CSS фич, которые редко используются +53

13:45

Ростелеком обнаружил переплаты за свет на сотни миллионов рублей +43

09:05

7 SQL-запросов, которые решают 90% всех задач на работе +39

07:01

Что происходило с новым законом про ЦОДы — мы нашли, кто смог подробно всё это объяснить +39

08:00

GPU, диски, серверы — что ещё анонсировали вендоры в августе. Железный дайджест Selectel +38

11:28

Как мы видеокарту AMD на ПЛИС с RISC-V и Linux запускали +35

09:02

Как взломать и разрушить АЭС за 49 минут: разбор кибератаки на ядерный реактор +33

06:59

Как я научил Jetpack Compose показывать рекомпозиции в реальном времени +29

00:08

Не XP единой — почему Windows 2000 была настоящим шедевром Microsoft +29

10:30

Оценка сроков выполнения задач: покоряем закон Хофштадтера +28

12:00

Полный гайд по экономии в облаке Selectel: 3 инструмента, 5 практических сценариев, шпаргалка +26

12:24

Я хотел пошпионить за своим псом, а в результате проследил за TP-Link +25

19:50

Что выяснили про ChatGPT: первые реальные данные несколько удивляют +24

09:06

Гений Пифагора: почему в рекурсивно-вычисляемом клеточном автомате Вселенной наше сознание бессмертно? +22

14:17

У нас было 10k метрик, 500 А/В-экспериментов и 500kk p-value каждый день… +21

09:32

Как избавиться от проприетарных ETL: кейс миграции на dbt +20

13:24

Распродажа в издательстве «Питер» +19

12:00

2 причины смертельной болезни проекта: устаревшие технологии и монополия на знания. Рассказываем, как это лечить +18

15:02

Я разобрался, каршеринг — это не бизнес на аренде авто +180

08:05

Технологии из прошлого: телетайп. Разбираемся в устройстве, воскрешаем старый аппарат +77

17:21

SSL-сертификаты в 2025: самый прибыльный развод в истории интернета +70

12:00

Как мы в Selectel запускали Minecraft-сервер +58

09:23

Вам больше не нужен JavaScript +57

08:01

Осенняя барахолка под Валенсией: ноутбуки, консоли и кое-что еще +53

13:01

Создаём личную систему VoIP +47

09:01

Эпоха групповых чатов. Негласные правила, динамика, модерация +45

16:05

Как устроены массивы в PHP и как код влияет на скорость работы с ними +39

05:12

Бюджет РФ не очень сходится, а также новый самый богатый человек на $393 млрд в облачном компьютинге +36

09:00

Порядок против хаоса: мои главные ошибки и 5 правил организации личной базы знаний +32

10:21

Сибур инвестировал в систему диагностики, чтобы предотвратить миллионы убытков от аварий +31

17:28

Астрономы в замешательстве: исследование чёрной дыры QSO1 массой 50 млн Солнц, которая всех съела +26

14:37

Непостижимая эффективность современных алгоритмов сортировки +26

06:00

N8n: (не)реальные возможности и ограничения +23

22:30

Что такое эмбеддинги и как с ними работать. Вводная для начинающих +22

12:00

FreeBSD в 2025 году: виртуализация, эмуляция и новые правила для AI +22

08:37

Почему китайская полимерная оптика есть, а в России её нет. В чём отличия технологий +19

15:23

Вайбкодинг мертв. На смену пришло агентное роевое программирование +18

10:01

Да, было: большая подборка IT-факапов ко Дню программиста +18

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