Java

Дайджест: прошедшая неделя

Поздравляем всех читателей с прошедшим днем рождения Java. 23 мая 1995 года Джон Гадж, директор Научного офиса Sun Microsystems, и Марк Андриссен, соучредитель и…

В системе типов Java нашли баг

Молодой учёный Росс Тейт опубликовал текст о проблеме в системе типов Java (а также Scala), делающей эту систему «unsound». Как поясняет тот же текст,…