Slash Boxes
NOTE: use Perl; is on undef hiatus. You can read content, but you can't post it. More info will be forthcoming forthcomingly.

All the Perl that's Practical to Extract and Report

use Perl Log In

Log In

[ Create a new account ]

Ovid (2709)

  (email not shown publicly)
AOL IM: ovidperl (Add Buddy, Send Message)

Stuff with the Perl Foundation. A couple of patches in the Perl core. A few CPAN modules. That about sums it up.

Journal of Ovid (2709)

Sunday November 02, 2008
05:40 PM

Dependent Type FAIL!

[ #37788 ]

After trying to read up about dependent types and their relationship to subtypes, I've realized that any paper which starts off with "we /discuss|prove|demonstrate/" is pretty much useless to the average programmer. I would love to see more papers aimed at people who don't have a strong comp-sci background.

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