Прикольный обзорный доклад, на что вообще способны системы типов в разных менее популярных или совсем академических ЯП. И IO в сигнатуре функции (наверное самый известный пример), и ограничения на размеры коллекций / значения чисел, и последовательность операций в канале коммуникации между конкурентными воркерами - куча всего крутого короче.

#talk #type #language