July 14, 2005 - Summer of Code: Extended Type Inference System for Perl 5

Originally posted at use.perl.org

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.
Got a silly fact about yourself or the project?

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.
Did you expect to get funded?

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

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.
Where do you see your project going after this summer?

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.
How did you get interested in this topic?

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.
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 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.
Hi there! Tell us a bit about yourself, including age, where you are a student and what you are studying

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".


Post a comment

If you have an OpenId URL, you can enter it here to post comments on this site.


This page contains a single entry from the blog posted on November 17, 2006.

Many more entries can be found on the main index page or by looking through the archives.

Powered by