Высшая Школа Программирования Сергея Бобровского

Программирование для программистов

Roadmap 2020-2042

v1.27 от 05.05.22

Список действующих курсов тут (щёлкните)


= 2020
  |
  |
  осень
  |
  + вводный цикл статей "как понять в программировании всё"
    done 07.12.20
  |
  |
  осень-зима
  |
  + цикл "как понять в программировании всё": 
     базовый курс на Julia по принципам и парадигмам программирования
    done 10.12.20
  |
  |
  + новая версия курса по Java с нуля
    done 25.09.20
  |
  |
= 2021
  |
  |
  зима
  |
  (незапланированное)
  + мини-курс "Изучаем Лисп за 0 минут"
  + мини-курс "Как правильно мыслить на языке Си"
  + прикладной курс N1 по Computer Science (10 занятий)
    done 25.01.21
  |   
  |
  + трансформация курса по SQL в курс highload
    по базам данных и высоконагруженным проектам
    + новая версия курса SQL с нуля 
    done 01.10.20
  -- модели данных, кодирование и потоки данных, 
     базовые структуры баз данных - хэши, B/LSM-деревья...
     транзакции/аналитика, столбцовая BigData...    
    done 24.02.21
  |
  |
  весна
  |
  (незапланированное)
  + "Ясный Код"
  -- курс по выработке правильного стиля кодирования
    done 12.04.21
  |   
  |
  + цикл "как понять в программировании всё":
  -- модель декларативного программирования как самая фундаментальная 
     концепция, которая порождает все парадигмы программирования 
     на основе компактного множества понятий
    done 29.04.21
  |   
  |
  (незапланированное)
  + "Ясная Архитектура"
  -- прикладной курс по стилями и архитектурам программирования
    done 18.05.21
  |
  |
  - цикл "как понять в программировании всё":
  -- расширение курсов по объектно-ориентированному проектированию
     набором оригинальных научных техник продуктивной ООП-разработки
    done 19.08.21
  + Быстрая прокачка в ООП 
    done 22.06.21
  |
  |
  лето
  |
  - цикл "как понять в программировании всё":
  -- programming in small: закрываем тему. 
     (сильные абстракции для повседневного программирования)
  -- programming in large (компонентно-ориентированный подход)
  -- императивное программирование как расширение 
     модели декларативного программирования концепцией состояния
    done 06.07.21 
  |
  |
  осень
  |
  - "Ясное легаси"
  -- как разбираться в унаследованных проектах с огромной кодовой базой,
     десятки лучших практик
    done 15.10.21 
  |
  |
  - дополнение курса по базам данных инженерными темами highload
    (репликация, секционирование, согласованность)
    done 01.11.21 
  |
  |
  осень-зима
  |
  - цикл "как понять в программировании всё":
  -- расширение курса по базам данных 
     формальной реляционной парадигмой
     done 05.05.22

  -- параллельное программирование (декларативная модель)
     done 12.12.21
  |
  |
  - дополнение курса по базам данных инженерными темами highload
    (транзакции...)
    done 18.01.22 
  |
  |
= 2022
  |
  |
  зима
  |
  -- параллельное программирование (модель обмена сообщениями)
     done 22.02.22
  |
  |
  весна-лето
  |
  -- параллельное программирование
     (параллельная модель с общим состоянием)
     done 25.03.22
  |
  |
  -- параллельное программирование
     (модель распределённых вычислений)
     done 29.04.22
  |
  |
  (незапланированное)
  -- модель GUI
    done 05.05.21
  |
  |
  лето
  |
  - расширение курса по SQL реляционной алгеброй 
    как частным случаем реляционной парадигмы
  |
  |
 ...
  |
  - дополнение курса по функциональному программированию на F#
    языком F* формальной верификации программ
    (индуктивные и зависимые типы, ...)
  |
  |
  ? Coq Agda Idris -- быстрый старт в теорем-прувинг,
    зависимые типы и прочий формализм
  |
  |
  ? Type Driven Development
  |
  |
  ? AI и формальные символические калкулусы
  |
  |
 ...
  |
= 2022-2025
  |
  |
  - курс по Homotopy type theory как "языку программирования"
  |
  |
 ...
  |
  |
  |
= 2042 :: Мы запустим технологическую сингулярность :-)