SoftCraft
разноликое программирование
Отправная точка
Проектирование
Парадигмы
Список основных разделов
Заметки о парадигмах программирования
Процедурно-параметрическое программирование
Функционально-потоковое параллельное программирование
Автоматное программирование
Параллелизм
Системы программирования
Языки программирования
Библиотеки
Трансляторы
Техника кодирования
Методы эффективного кодирования
Windows API
Искусственный интеллект
Нейронные сети
Теория
Учебный процесс
Содержание раздела
Основы разработки трансляторов (учебный курс)
Архитектура вычислительных систем (учебный курс)
Разное
Прочие вопросы, связанные с IT
Беллетристика
Брюзжалки
Об авторе
О себе
Для чего этот сайт
Способы задания однозначности в архитектурах ВС.
Связь с типизацией
Начальная страница курса
Содержание лекции
Начальный взгляд
Что внутри?
Способы задания однозначности
Операционная однозначность
Динамическая однозначность
Организация значения при динамической типизации
Прямое использование динамической типизации
Статическая однозначность
Бестиповое программирование на C
Отображение бестиповой программы на структуру
Избыточность статической типизации
Трансформация статической типизации
Презентация лекции
Используемые источники информации
Динамическая типизация. Статья в википедии
Статическая типизация. Статья в википедии
Статическая и динамическая типизация
Начальная страница курса