Представление типовых решетков компактно | Макс Бернштейн

Компилятор Cinder JIT делает несколько классных вещей с тем, как они представляют типы, поэтому я собираюсь поделиться им с вами здесь. Ядро его думает о типах как наборы (все решетки) и выбор компактного представления. Компиляторы будут создавать и манипулировать типами с отказом, поэтому все операции должны быть быстрыми. Мы начнем с первых принципов, предполагая, что … Read more