ID
и в целом иметь строгую статическую типизацию с женериками
Size: a a a
2021 May 26
[
бля, а это идея
H
? лисп же делает
H
все за тебя уже давным давно придумали
П
А лучше сделаем макросы, которые компилируются в полноценную библиотеку
[
что если описывать макросы лиспа лиспом?
H
всё, о чём ты подумаешь, уже за тебя подумали 1000 раз
[
а макросы макро-лиспа тоже лиспом?
[
и так рекурсивно
[
сколько хочешь
H
да
H
гибкую систему типов, но лучше конечно что-то одно
ID
оно так работает
[
угу, тоже тема
[
кстати
ID
стоп
H
можно например адаптивной грамматикой закрыть надобность в метапрограммировании. а все остальное выразить в типах
[
а металанг99 тайпчекается, да?
ID
это же Typed Racket получился
H
он нетипизированный но вообще да