RacketScript — язык будущего?

В ходе свои исследований вопроса применимости формальных методов и Model Checking, в частности в прикладной разработке, Сергей понял, что хоть использование уже существующих инструментов (например Alloy и TLA+) вполне может помочь в некоторых случаях, но всё равно будет затруднено из-за разделения кодовой базы самого инструмента и разрабатываемой системы. В перспективе это может усложнить их поддержку в будущем. А выяснив, что из более или менее прикладных языков, решающих эту проблему, есть разве что F*, используемый Microsoft для разработки низкоуровневых вещей, спикер начал искать альтернативы. И нашел RacketScript, который вполне может решить эту задачу в будущем. Именно поэтому Сергей присоединился к его разработке.

О том, что за формальные методы и Model Checking такие, и как они вообще могут быть применены во фронтенд-разработке, а также при чём тут Racket и RacketScript, спикер расскажет в своем докладе.