Недавно дискутировал на тему, какой ЯП самый Ъ.
Я утверждал, что это Си, мне ответили, что ASM хардкорнее, что я парировал так:
Ассемблеров много, а Си един (только с типами данных беда, конечно).
В ответ на это я получил совет: «Создавай свои типы @ будь мужиком».
Тогда я сформулировал идею ультрахардкорного языка:
При объявлении переменной мы указываем только число бит, которое под неё выделяется. Получается, что типов данных бесконечное количество. Все они приводятся к двоичному виду, который можно легко сравнить или сделать бинарную операцию.Конечно, тут очень много нюансов (например, нужно самому запоминать, где signed, а где unsigned или где просто большое целое число, а где double-precision floating-point), их нельзя между собой сравнивать, нельзя проводить межтиповые операции. С приведением тоже придётся подумать.
А вообще есть такие языки? Может ли подобная идея взлететь?
