A Lógica Afim Elementar é um sistema de tipos que captura a classe de termos λ que podem ser reduzidos no tempo elementar. Além disso, termos tipáveis à EAL podem ser reduzidos usando o fragmento abstrato do algoritmo de Lamping, o que é particularmente interessante para mim porque estou explorando os correspondentes combinadores de interação.
Minha pergunta é: como alguém pode criar uma linguagem de programação prática usando o EAL como o sistema de tipos subjacente? Ou seja, que tipo de extensões (pontos de correção, polimorfismo, tipos dependentes, tipos de dados etc.) poderiam ser feitas no sistema de tipos principais sem afetar essa característica e que tal linguagem seria utilizável na prática ou seria de alguma forma também restritivo por razões que não conheço?