12 декабря 2013 · Комментарий

Без заголовка

Анатолий Левенчук · Оригинал в ЖЖ ↗ · Ссылка на запись

jak40 в конце 70-х сделал один из двух в мире компиляторов языка теории множеств SETL. Но что-то этот "универсальный язык сверхвысокого уровня" так и не пошёл нигде в реальное дело. Язык теории множеств в чистом виде нигде нами не использовался. То, что у нас будет в публичном доступе, рано или поздно будет выложено и всем доступно. Ещё никто не жаловался, что у нас мало материалов. Материалов много, их даже не все читать успевают.