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 region inference #12

Open Memorytaco opened 1 year ago

Memorytaco commented 1 year ago

add a region inference pass to compiler and allocate memory at that stage.

to solve object life time problem.

Memorytaco commented 10 months ago

region reference is one of techs for building an effect type system. It may suggest us adding a new stage for doing CFA analysis or similar things to build up information sufficient to serve the type system we created.

However, it is not clear what kind of effect system we need and it is also not clear on how to integrate it with MLF system.

Memorytaco commented 10 months ago

A effect system may need a companion memory model which is under investigation. A good start point, in my opinion, is C++ object model.