Поскольку именно тут наибольший отклик на мою разработку, OSDev.ru отныне можно считать официальным форумом Кантора. Попробую чуть-чуть рассказать о том, что пока осталось за скобками разработки и блога.
По итогам первой сессии разработки в 2015-м году можно делать первые выводы. Самое важное в теоретическом плане -- отказ от термина "байт-код". Во время разработки это стало очевидно. Байт-код кодирует низкоуровневые операции, а Кантор сохраняет сериализованные объекты в неком стандартизованном виде. Будет сохранять, точнее, поскольку иерархию и API я пока ищу. Правильней, думаю, называть это
объектным кодом или же
обратимым кодом -- в тех случаях, когда важно подчеркнуть обратимость. При этом объектный файл может содержать как класс (пространство имен со вложенными классами), так и данные, сохраненные в объектном формате Кантора, аналогично binobj.
Машинного кода в объектном файле пока не будет. Машкодом имеет смысл заниматься вместе с кодогенерацией, а я до нее пока не дошел. Про планируемый интерпретатор Кантора в альфа-версии могу написать отдельно. Мне кажется, что он будет довольно сильно отличаться от интерпретаторов типа PHP и Питона, и по концепции будет похож на микроядро.
В свете
темы о выравнивании хотел бы также порассуждать об атрибутах классов в Канторе, чтобы заново систематизировать и переосмыслить накопленный опыт. Форум удобен тем, что мысли можно писать небольшими порциями, додумывая по ходу обсуждения. Но нужен отклик. Сам с собой разговаривать не буду.