search

Memorytaco / t-lang

This is now an experimental prototype of a system programming language based on MLFe type system.
1 stars 1 forks source link

investigate TAL (typed assembly language) #1

Closed Memorytaco closed 1 year ago

Memorytaco commented 1 year ago

The purpose of TAL is to provide a friendly low level representation for high level type structure, In this project. Here are some references which may provide methods on how to do the code generation for this language.

Middle language, the TAL used, will decide our next step on how to operate on type checked AST.

one naive design of the process is:

(Parser Related) -> AST -> Type Checked AST -> ?MIR -> ?TAL -> LLVM IR

A good candidate for MIR could be system F based on the following article:

  1. MorrisettGreg et al. “From system F to typed assembly language.” ACM Transactions on Programming Languages and Systems (1999): n. pag.

And here is another one specified on MLF design:

  1. Rémy, Didier and Boris Yakobowski. “A church-style intermediate language for MLF.” Theoretical Computer Science (2010).
Memorytaco commented 1 year ago

Updated design:

(Parser Related) -> AST -> Type Checked AST -> xMLF -> ?MIR -> LLVM IR