Fun and Interesting Thoughts (FIT) is a special event held at the 2010 Conference on Programming Language Design and Implementation (PLDI). FIT is a venue for thoughts that present fresh insights, unveil surprising ideas, identify hidden trends, or that are simple neat and fun for a PLDI audience.
Monday, May 24, 2010
Design-Oriented Programming: Macro-Driven Literate Programming in Self-Validating PDL
This could be thought of as Literate Programming with embedded self-checking meta-statements; or conversely, Intentional Programming with an emphasis on a program as text (or hypertext, rather).
The call for papers seemed to be asking radical ideas, so I aimed to please. There were more applications I wanted to mention, but there wasn't room. And there were more specific examples that I would like to have gone into, but they would not give a feel for the generality of the main idea.
Hopefully, I'll be able to fill in some of the blanks here.
Fun and Interesting Thoughts (FIT) is a special event held at the 2010 Conference on Programming Language Design and Implementation (PLDI). FIT is a venue for thoughts that present fresh insights, unveil surprising ideas, identify hidden trends, or that are simple neat and fun for a PLDI audience.
This could be thought of as Literate Programming with embedded self-checking meta-statements; or conversely, Intentional Programming with an emphasis on a program as text (or hypertext, rather).
ReplyDeleteThe call for papers seemed to be asking radical ideas, so I aimed to please. There were more applications I wanted to mention, but there wasn't room. And there were more specific examples that I would like to have gone into, but they would not give a feel for the generality of the main idea.
Hopefully, I'll be able to fill in some of the blanks here.