История изменений
Исправление abcq, (текущая версия) :
Если бы не видел, он бы был удовлетворен тем, что могут дать шаблоны и кодоген прямо, но он не удовлетворен и неудовлетворенность как раз проистекает из-за «глупости и несовершенности» вычислителя, вычислитель не человек и думать не умеет, следовательно и истинная статическая типизация по нему же это все равно «пшик» потому что будет раскручена во вполне «железную» с ее ограничениями и «кастами снизу», просто «касты» будут в компилтайме. А делается это в компилтайме или в рантайме вообще не суть важно. Обо всем этом написано в том мессадже на который вы отвечаете.
На самом деле реализовать что-то, о чем он грезит выгоднее как раз через виртуализации, с последующей заменой этой виртуализации. Текущее программирование на шаблонах не разворачивается в инструкции цпy или гпу или любого другого вычислителя. Следовательно надо писать виртуалочку, и пытаться разворачивать в инструкции виртуалочки, а уже потом пытаться реализовать железное исполнение виртуалочки. Это наверное самый чистый путь (и это если опять же не смотреть на то, что это все еще потуги над глупым вычислителем который не понимает абстракций). Другой вопрос может ли это сделать один человек? Очевидный ответ - нет. Поэтому его абстракция поверх будет таким же несостоятельным продуктом как и все что он критикует (с позиции его же самого, или это будет лицемерием, подлогом и святотатством)
В принципе программа минимум, чтобы доказать возможность - это состряпать вычислитель примитивный, на микрухе и реализовать для него этот подход, потому что если реализовывать как виртуалку, то так только докажешь что рантайм > компилтайм, динамика > статика и помножишься на ноль. Да и опять же это как смотреть, все это можно назвать железной реализацией динамики на атомарных операциях вычислителя.
Исправление abcq, :
Если бы не видел, он бы был удовлетворен тем, что могут дать шаблоны и кодоген прямо, но он не удовлетворен и неудовлетворенность как раз проистекает из-за «глупости и несовершенности» вычислителя, вычислитель не человек и думать не умеет, следовательно и истинная статическая типизация по нему же это все равно «пшик» потому что будет раскручена во вполне «железную» с ее ограничениями и «кастами снизу», просто «касты» будут в компилтайме. А делается это в компилтайме или в рантайме вообще не суть важно. Обо всем этом написано в том мессадже на который вы отвечаете.
На самом деле реализовать что-то, о чем он грезит выгоднее как раз через виртуализации, с последующей заменой этой виртуализации. Текущее программирование на шаблонах не разворачивается в инструкции цпy или гпу или любого другого вычислителя. Следовательно надо писать виртуалочку, и пытаться разворачивать в инструкции виртуалочки, а уже потом пытаться реализовать железное исполнение виртуалочки. Это наверное самый чистый путь (и это если опять же не смотреть на то, что это все еще потуги над глупым вычислителем который не понимает абстракций). Другой вопрос может ли это сделать один человек? Очевидный ответ - нет. Поэтому его абстракция поверх будет таким же несостоятельным продуктом как и все что он критикует (с позиции его же самого, или это будет лицемерием, подлогом и святотатством)
Исходная версия abcq, :
Если бы не видел, он бы был удовлетворен тем, что могут дать шаблоны и кодоген прямо, но он не удовлетворен и неудовлетворенность как раз проистекает из-за «глупости и несовершенности» вычислителя, вычислитель не человек и думать не умеет, следовательно и истинная статическая типизация по нему же это все равно «пшик» потому что будет раскручена во вполне «железную» с ее ограничениями и «кастами снизу», просто «касты» будут в компилтайме. А делается это в компилтайме или в рантайме вообще не суть важно. Обо всем этом написано в том мессадже на который вы отвечаете.
На самом деле реализовать что-то, о чем он грезит выгоднее как раз через виртуализации, с последующей заменой этой виртуализации. Текущее программирование на шаблонах не разворачивается в инструкции цпy или гпу или любого другого вычислителя. Следовательно надо писать виртуалочку, и пытаться разворачивать в инструкции виртуалочки, а уже потом пытаться реализовать железное исполнение виртуалочки. Это наверное самый чистый путь (и это если опять же не смотреть на то, что это все еще потуги над глупым вычислителем который не понимает абстракций). Другой вопрос может ли это сделать один человек? Очевидный ответ - нет. Поэтому его абстракция поверх будет таким же несостоятельным продуктом как и все что он критикует.