What's up guys?

LtU is becoming boring. Editors are urged to post ineteresting stuff. I can't do it alone.

More specifically. it has beeen awhile since we had any new items in the OOP, LP, and meta-programming departments.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Reflection '96

Reflection '96

The page contains some papers related to "OOP, LP, and meta-programming" simultaneously.

They are pretty old, but I read some of them with interest. As an additional teaser: reflection promises to provide a missing link between static and dynamic reasoning (unless Frank finds some time to prove otherwise).

PS: many of the papers mention 3-Lisp - any first-hands experience?

You know...

There's this little project called TUNES where this eccentric french computer scientist has been claiming this for about 10 years and gradually built up some material to support this case and fleshed out the details.

Call me crazy, but I do believe there is a lot of merit to this line of thinking, even if it is not the usual fixation of industry or research, or even 99% of what the community on this website likes to talk about.

3-Lisp is about 15 years behind the state of the art on this, and I don't have time to explicate the entire research which follows this, since I have a full day job which is totally unrelated and no funding for this work yet. I've read so many papers (well into the gigabyte range over the years) to work on the TUNES project, though, that I feel like an amateur PhD student (and yes, I have a silly little thesis as well which is quite awful since I have no time to work on it).

Oh yeah, and I work on this little thing called Slate which is our incremental realization project at the moment, even if it looks like your average run-of-the-mill language.

Computational Category Theory

Rydeheard and Burstall wrote a textbook, Computational Category Theory, in which they do all the categorical constructions in Standard ML.

I found it incredibly helpful, because I'm a programmer and seeing the constructions used in categorical proofs as actual computer programs I can run was very illuminating.