Eu estava lendoeste pape sobre o problema do funarg, que é realmente o problema de manter os ambientes de fechamentos lexicais. É um artigo antigo e não tenho certeza se as conclusões do autor ainda são válidas, mas ele implica fortemente que, para ter um escopo lexical e não dinâmico, você deve abandonar a pilha tradicional de estilo C e, em vez disso, ter uma estrutura em árvore de ambientes, alocados da pilha.

Isso impossibilita o fechamento de escopo lexicamente em qualquer sistema de tempo real? em sistemas embarcados em tempo real, onde as latências são medidas em microssegundos, a alocação de heap é normalmente proibida devido à latência não determinística que ela introdu

Essa tem sido uma curiosidade ociosa minha, porque eu faço meu pão principalmente como desenvolvedor de firmware, onde C é a linguagem de fato, e há algum tempo parece que estou usando meu poder cerebral para descobrir como forçar C para me deixar fazer coisas que vêm de graça em idiomas mais sofisticados. Consequentemente, comecei a pensar se você poderia implementar um compilador de micro-lisp especificamente para sistemas baseados em microcontroladores embutidos em tempo rea

Como uma observação lateral: Ultimamente, obtive ótimas idéias sobre tópicos profundos, como como fechamentos e objetos são equivalentes e assim por diante, e isso me dá uma admiração maior de caras como Stallman e Rich Hickey e Paul Graham. Implementar Lisp desde o início parece uma tarefa assustadora para mim. É difícil saber por onde começar. (Talvez com a implementação do PG da função de avaliação original de McCarthy, IDK). Enfim, eu discord