Скачать с ютуб Сергей Головин — RacketScript — язык будущего? в хорошем качестве

Сергей Головин — RacketScript — язык будущего?

Ближайшая конференция — HolyJS 2024 Autumn, 7 ноября (online), 14–15 ноября (Санкт-Петербург + трансляция). Подробности и билеты: https://jrg.su/K18Cxd — — В ходе своих исследований вопроса применимости формальных методов и Model Checking, в частности в прикладной разработке, Сергей понял, что хоть использование уже существующих инструментов (например Alloy и TLA+) вполне может помочь в некоторых случаях, но всё равно будет затруднено из-за разделения кодовой базы самого инструмента и разрабатываемой системы. В перспективе это может усложнить их поддержку в будущем. А выяснив, что из более или менее прикладных языков, решающих эту проблему, есть разве что F*, используемый Microsoft для разработки низкоуровневых вещей, спикер начал искать альтернативы. И нашел RacketScript, который вполне может решить эту задачу в будущем. Именно поэтому Сергей присоединился к его разработке. О том, что за формальные методы и Model Checking такие, и как они вообще могут быть применены во фронтенд-разработке, а также при чём тут Racket и RacketScript, спикер расскажет в своем докладе.