Tesis
Um interpretador e typechecker para uma linguagem reversível com pattern-matching simétrico e controle quântico
Fecha
2018-07-13Autor
Zancanaro, Eric Tomás
Institución
Resumen
Aiming to overcome the theoretical limits imposed by the energetic cost of the classic
computational model, new computing paradigms have been formalized. While reversible
computing aims to reconcile the reversibility of the physical models with the irreversible
way of modelling computations, quantum computing looks to harness the microscopical
properties of matter to increase performance. The theoretical development is coupled with
the formalization of programming languages that embed those properties independently
of their physical implementation. This decoupling allows the simulation of programs
belonging to these paradigms by the creation of interpreters. This dissertation presents the
implementation of an interpreter and typechecker for a reversible language with quantum
control. The project was implemented in the Haskell functional language, allowing for
the typechecking and inefficient simulation of quantum sistems, being capable of both
forwards and backwards execution. The text also presents the adaptation and execution
of algorithms that showcase the embedding of quantum control in the functional language
chosen as basis of this work.