Управление робототехникой в реальном времени с помощью языка Lean
- Блог компании SkillFactory,
- Функциональное программирование,
- Разработка робототехники,
- Разработка под Arduino,
- Робототехника
- Перевод
Подразделение Microsoft Research недавно опубликовало предварительный выпуск Lean 4. Предыдущие версии Lean были сосредоточены на том, чтобы быть помощником по доказательствам — программным инструментом, который облегчает разработку строгих математических доказательств с помощью интерактивной совместной работы человека и машины. До сих пор язык Lean в основном применялся для оцифровки теоретической математики.