Переписывание типизатора Futhark

Разработчики функционального языка Futhark для высокопроизводительных вычислений на GPU обновляют систему проверки типов. Это внутренняя работа над компилятором, не связанная напрямую с созданием ИИ-моделей.