Новости информатики
В последнее десятилетие на фоне бума автоматизации анализа данных (машинного обучения) все реже и реже возникают новые фундаментальные проекты в информатике. Но тут намедни, фактически презентованы, сразу целых два.
Во-первых, Гугл открыл специальный сайт о проекте FUCHSIA, где можно познакомится с терминологией и концепциями ядра ZIRCON на базе Little Kernel.
А во-вторых, не менее интересна публикация о проекте LSFUSION. Полный по Тьюрингу декларативный язык программирования. С «отсутствием состояний в процессе вычисления частично рекурсивных операторов и возможностью итерирования по всем значениям параметров». Стек понятий уровня логики предметной области: свойства, действия, события, ограничения, классы и агрегации. Полный стек парадигмы см. на сайте разработчика. Язык пятого поколения, как позиционируют его создатели, расширенная интерпретация SQL, описывает модули платформы IsFusion. Написан, вероятно, на Java, реактивный и поддерживает полиморфизм.
Подробное изучение:
- Вычисления. Механизм построения вычисляемых свойств.
- GUI. Разработка графического интерфейса пользователя.
- Императивная логика. Разработка действий, событий и ограничений.
- Декларативная логика. Разработка ограничений, агрегаций, а также наследование пользовательских классов.
- Поиск элементов. Описание механизмов обращения одних элементов системы к другим.
- Расширения. Расширение функционала элементов системы после их объявления.
- Интеграция. Описание взаимодействия с внешними системами.
- Метапрограммирование. Механизм создания повторно используемого кода путем создания метакода.
- Физическая модель. Определение схемы хранение данных в реляционной базе данных.
- Интернационализация. Описывает способ задания названий элементов системы на разных языках.
- Use Cases. Часто встречающиеся варианты использования.