This is an automated archive made by the Lemmit Bot.

The original was posted on /r/programminglanguages by /u/Common-Operation-412 on 2024-09-08 09:49:11+00:00.

Hi,

I have been reading different PL design articles.

And it got me wondering: Would it be possible to have a dependent typed language, side effect annotation, substructural reasoning, higher order polymorphism, type checking, type inference and subtyping built in which is also homoiconic?

It is my understanding that the overlap of these different areas are still and area of active research, but would a language like this be possible or are there contradictory demands?

Would these features be everything you could ask for in a programming language or would you have different demands?

Thanks for your help.