search

effekt-lang / effekt-website

Website of the Effekt programming language
https://effekt-lang.github.io/effekt-website
MIT License
4 stars 6 forks source link

Compiler implementation #22

Closed b-studios closed 2 years ago

b-studios commented 2 years ago

@mm0821 I fixed the rendering bug and evidence now renders as expected:

image

mm0821 commented 2 years ago

@b-studios I've drafted an explanation of lift inference. Maybe you can take a look if you find the time.

b-studios commented 2 years ago

Great thanks @mm0821. I left a few comments, but LGTM otherwise

b-studios commented 2 years ago

In general, it would also be great to have a compiler pipeline picture summarizing the different phases (linking lift inference) to your description. The other phases could easily be described later in separate documents.

Right now, the main description of the compiler pipeline can be found in https://github.com/effekt-lang/effekt/blob/master/effekt/shared/src/main/scala/effekt/Compiler.scala

Though I just noticed that the overview does not mention backend specific IRs:

Lift is only used by chez-lift, llvm, and upcoming jit (@marzipankaiser). Machine is only used by llvm and jit.

mm0821 commented 2 years ago

Thanks, I've incorporated your changes.

Maybe I can draft an adaption of the picture of the pipeline I already have. Then we can discuss it.

mm0821 commented 2 years ago

I've drafted the picture and a description of the pipeline. @b-studios Please take a look.

b-studios commented 2 years ago

Looks great, thanks!