Ur/Web

Продукт
Дата премьеры системы: 2014/12/06
Технологии: Средства разработки приложений

Ur/Web - язык для создания веб-страниц в виде исполняемых программ.

6 декабря 2014 года стало известно о рождении языка программирования Ur/Web. В его создании принял участие инициатор идеи - Адам Чипала (Adam Chlipala), исследователь Массачусетского технологического института (MIT) MIT, доцент кафедры электротехники и технологий программирования.

Компилятор языка Ur/Web самостоятельно генерирует требуемые спецификации XML, таблицы стилей, JavaScript и код баз данных, освобождая разработчика от необходимости контроля над взаимодействием элементов и обменом данными.

Ur/Web создан в соответствии с традициями языков ML и Haskell и наделен богатой системой типизации данных. По словам Члипала, Ur/Web облегчает написание веб-приложений, делает их более безопасными. Аналогично развитым языкам программирования, типа C++ или Java, язык программирования Ur/Web преодолевает слабости многих фреймворков для веб-разработки, так как любая определяемая программистом новая переменная ограничена конкретным типом данных.

В нынешней версии компилятор Ur/Web автоматически генерирует код XML, JavaScript и SQL, но не создает таблицы стилей.

Новый релиз именован как 20141206 release и доступен для загрузки с сайта разработчика.

Лекция 11 по языку Ur/Web. Осень 2014 года. Лектор Адам Чипала (Adam Chlipala)



Подрядчики-лидеры по количеству проектов

За всю историю
2021 год
2022 год
2023 год
Текущий год

  Солар (ранее Ростелеком-Солар) (44)
  Финансовые Информационные Системы (ФИС, FIS, Финсофт) (15)
  Форсайт (11)
  Бипиум (Bpium) (10)
  Axiom JDK (БеллСофт) ранее Bellsoft (9)
  Другие (371)

  Солар (ранее Ростелеком-Солар) (8)
  Финансовые Информационные Системы (ФИС, FIS, Финсофт) (4)
  Консом групп, Konsom Group (КонсОМ СКС) (2)
  ЛАНИТ - Би Пи Эм (Lanit BPM) (2)
  IFellow (АйФэлл) (2)
  Другие (30)

  Солар (ранее Ростелеком-Солар) (10)
  Banks Soft Systems, BSS (Бэнкс Софт Системс, БСС) (3)
  Форсайт (3)
  Cloud.ru (Облачные технологии) ранее SberCloud (2)
  КРИТ (KRIT) (2)
  Другие (13)

  Солар (ранее Ростелеком-Солар) (6)
  Unlimited Production (Анлимитед Продакшен) (4)
  МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (4)
  Robin (Робин) (3)
  Форсайт (3)
  Другие (21)

  Нота (Холдинг Т1) (1)
  Солар (ранее Ростелеком-Солар) (1)
  Другие (1)

Распределение вендоров по количеству проектов внедрений (систем, проектов) с учётом партнёров

За всю историю
2021 год
2022 год
2023 год
Текущий год

  Microsoft (41, 47)
  Солар (ранее Ростелеком-Солар) (2, 46)
  Oracle (49, 26)
  Hyperledger (Open Ledger Project) (1, 23)
  IBM (33, 18)
  Другие (556, 276)

  Солар (ранее Ростелеком-Солар) (1, 8)
  Финансовые Информационные Системы (ФИС, FIS, Финсофт) (1, 4)
  Microsoft (4, 3)
  Oracle (2, 3)
  SAP SE (2, 2)
  Другие (16, 19)

  Солар (ранее Ростелеком-Солар) (1, 11)
  Banks Soft Systems, BSS (Бэнкс Софт Системс, БСС) (1, 3)
  Форсайт (1, 3)
  Cloud.ru (Облачные технологии) ранее SberCloud (1, 2)
  Сбербанк (1, 2)
  Другие (9, 9)

  Unlimited Production (Анлимитед Продакшен) (1, 6)
  Солар (ранее Ростелеком-Солар) (1, 6)
  МТС Exolve (Межрегиональный ТранзитТелеком, МТТ) (1, 4)
  Мобильные ТелеСистемы (МТС) (1, 4)
  РЖД-Технологии (1, 3)
  Другие (11, 19)

  T1 Digital (Т1 Диджитал) (1, 1)
  Солар (ранее Ростелеком-Солар) (1, 1)
  Т1 Консалтинг (Т1 Инновации) (1, 1)
  Мобильные ТелеСистемы (МТС) (1, 1)
  Т1 (1, 1)
  Другие (0, 0)

Распределение систем по количеству проектов, не включая партнерские решения

За всю историю
2021 год
2022 год
2023 год
Текущий год

  Solar appScreener (ранее Solar inCode) - 46
  Hyperledger Fabric - 23
  Windows Azure - 20
  FIS Platform - 15
  Форсайт. Мобильная платформа (ранее HyperHive) - 12
  Другие 306

  Solar appScreener (ранее Solar inCode) - 8
  FIS Platform - 4
  Java - 2
  Турбо X - 2
  Парадокс: MES Builder - 2
  Другие 22

  Solar appScreener (ранее Solar inCode) - 11
  Форсайт. Мобильная платформа (ранее HyperHive) - 3
  BSS Digital2Go - 3
  Cloud ML Space - 2
  Leroy Merlin Platformeco - 1
  Другие 8

  EXpress Защищенный корпоративный мессенджер - 6
  Solar appScreener (ранее Solar inCode) - 6
  МТС Exolve - 4
  РЖД и Робин: Облачная фабрика программных роботов - 3
  Форсайт. Мобильная платформа (ранее HyperHive) - 3
  Другие 13

  МТС: Ocean Облачная платформа - 1
  Solar appScreener (ранее Solar inCode) - 1
  Т1: Сфера Платформа производства ПО - 1
  Другие 0