Professional Documents
Culture Documents
A quick review
Andrei Seiman
June, 2016
Andrei Seiman
June, 2016
1/8
Term rewriting
Andrei Seiman
June, 2016
2/8
Applications
Andrei Seiman
June, 2016
3/8
Applications
Andrei Seiman
June, 2016
3/8
Applications
Andrei Seiman
June, 2016
4/8
Applications
Andrei Seiman
June, 2016
4/8
DMS
Andrei Seiman
June, 2016
5/8
DMS
Andrei Seiman
June, 2016
5/8
DMS
Andrei Seiman
June, 2016
5/8
DMS
Andrei Seiman
June, 2016
5/8
Overall Usefulness
Andrei Seiman
June, 2016
6/8
Overall Usefulness
Andrei Seiman
June, 2016
6/8
Overall Usefulness
Andrei Seiman
June, 2016
6/8
Overall Usefulness
Andrei Seiman
June, 2016
6/8
Conclusion
With TRS you can get things that look and feel like parametric
polymorphism, partial evaluation, and dependent types without all of the
ceremony.
Of course, you can also shoot yourself in the foot with all of this power
quite easily, having non-terminating static evaluation over type-like
structures, or behavior that should be static leaking into the dynamic
semantics of a program.
Andrei Seiman
June, 2016
7/8
Andrei Seiman
June, 2016
8/8