Abstract: Reflection with First-Class Implementations
We propose an approach to reconcile formal methods and computational reflection. First, we introduce a formalism to study implementations, with which we express some of their desirable properties, notably one we dub observability. Next, we derive a protocol for first-class implementations, that enables zooming up
and down the abstraction levels of a computation at runtime. Then we show how this unifies discussion of previously disparate techniques (from static analysis to AOP) and even trivializes some difficult ones (like live code migration). Finally, we envision how our proposed first-class semantic virtualization enables a new
These ideas are based on my work with the Tunes project http://tunes.org/ in the 1990s.
I made a presentation on these ideas at BostonHaskell in 2016
This presentation is an executive summary of my resurrected thesis on this topic (in progress).
A version of this work has been submitted to SNAPL 2017:
Faré is a cybernetician specialized in software growth infrastructure and currently living in NYC. He is known as a http://cliki.net/Fare%20Rideau Common Lisper for promoting Lisp http://fare.livejournal.com/184127.html as a scripting language, and having developed the build system ASDF3 https://github.com/fare/asdf3-2013/ and the Lisp Interface Library https://github.com/fare/lil-ilc2012 combining ad hoc and parametric polymorphism. He currently works at a large hedge fund in Connecticut.
Faré likes to think in terms of computing interactions and programming processes rather than computer devices and software artifacts; he once led the http://tunes.org/ TUNES Project to reinvent computing</a> and recently started a new blog on this topic Houyhnhnm Computing https://ngnghm.github.io/.
He relatedly believes in the power of storytelling http://fare.tunes.org/computing/bal2009.pdf and of evolutionism http://fare.tunes.org/computing/evolutionism.html">
His other interests span music, fine arts, psycho-history, epistemology, and more. He also spoke or was published at several http://fare.tunes.org/liberty/ venues.
He tweets about computing as http://twitter.com/ngnghm and on other topics as http://twitter.com/fare You can also find him on LiveJournal http://fare.livejournal.com/ and Facebook https://facebook.com/fahree
Finally he maintains a collection of quips http://fare.tunes.org/fortunes/fare
123 William Street, 19th Floor