Stories
Slash Boxes
Comments

All the Perl that's Practical to Extract and Report

use Perl Log In

Log In

[ Create a new account ]

acme (189)

acme
  (email not shown publicly)
http://www.astray.com/

Leon Brocard (aka acme) is an orange-loving Perl eurohacker with many varied contributions to the Perl community, including the GraphViz module on the CPAN. YAPC::Europe was all his fault. He is still looking for a Perl Monger group he can start which begins with the letter 'D'.

Journal of acme (189)

Thursday July 14, 2005
05:54 AM

Summer of Code: Extended Type Inference System for Perl 5

[ #25702 ]
The Perl Foundation took part in Google's Summer of Code program and managed to get 8 projects funded. This is the fifth in a series of informal interviews finding out more information about these projects. Up now is Gary Jackson with "Extended Type Inference System for Perl 5".

Hi there! Tell us a bit about yourself, including age, where you are a student and what you are studying
I am 27 and studying Computer Science at the University of Maryland. I'm a degree-seeking graduate student after a five year hiatus from school.

You've had a Google Summer of Code project funded. What will you be doing? How will you be doing this? What's the final product?
I'm extending a type inference system for Perl 5 that I wrote this past Spring to handle aggregate data types, objects, and type qualifiers (if time allows). The idea behind this project is to provide a tool to Perl programmers who wish to use it, not to enforce some stuffy type system on all Perl programmers.

How did you get interested in this topic?
I took a graduate level programming languages course this past Fall, and I took a language-based security class in the Spring. I think some of the tools and techiques we talked about in those classes could help make Perl programs more robust.

Where do you see your project going after this summer?
I plan on writing an academic paper about it and submitting it to conferences and journals. If this project is worthwhile, I could go a long way with it.

Is there any way to track your progress over the next few months? Got a blog?
Not yet, but I'll get one soon.

Did you expect to get funded?
Not really. Mine was an eleventh-hour entry and a bit of a lark. I expected to hear some sort of feedback about my project, but heard none. The acceptance letter was a complete surprise.

Got a silly fact about yourself or the project?
Everyone I tell about the project thinks I'm crazy. To a certain extent, they are right. I do not believe that a sound type system can be written for Perl 5 programs (at least, not useful Perl 5 programs). However, I still think that type inference techniques can catch some meaningful errors at compile time.

The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
 Full
 Abbreviated
 Hidden
More | Login | Reply
Loading... please wait.