search

alcides / aeon

Aeon programming language
https://alcides.github.io/aeon/
8 stars 3 forks source link

Assessing using Existential Types instead of ANF #58

Open alcides opened 6 months ago

alcides commented 6 months ago

Replaces the need to use ANF with using Existential Types.

The current status of this PR is that ifs are not being well translated. Right now the condition is being converted into liquid terms, instead of using the type inference to obtain a variable (and apply applications to the return type)