@ilyasergey
Ilya Sergey представил новое пополнение в LangLib — JavaGen, минималистичный язык, состоящий только из Java-интерфейсов и одного запроса подтипирования. Этого достаточно для вычисления чего угодно благодаря хитрой игре ко/контравариантности. В качестве бонуса приложено доказательство на Lean того, что дженерики Java являются Тьюринг-полными (работа @rgrig, POPL'17).