« Short notes on migrating a SVK mirror to Git. | Main | 答蒙面僧。/ A wholly inadequate reply to an Anonymous Monk. »

2010.04.21

Comments

Feed You can follow this conversation by subscribing to the comment feed for this post.

I'd like to thank chromatic++ for his swift and gracious reply:

Thanks for replying. I don't mean to minimize any of those projects by omission, and I apologize for not mentioning them. I'm glad to hear you consider my assessment of Pugs.hs accurate.

Could you say more about actual work on gradual typing (in 6.28.x or elsewhere)? I've hoped for years to see some actual development on this and have been frustrated.

A pointer to docs on design of 6.28.x if they exist would be interesting.

Jed, that's a great question.

For Perl-specific, runtime-verified gradual typing, Moose::Manual::Types is a pretty good start.

For a glance on compile-time verified gradual typing, please refer to Siek and Wadler's POPL 2010 paper and chase the references. :-)

Also, Siek's PEPM 2010 keynote, General Purpose Languages Should be Metalanguages, is a pretty good read on (one of the many) motivations of Perl 6 development...

Verify your Comment

Previewing your Comment

This is only a preview. Your comment has not yet been posted.

Working...
Your comment could not be posted. Error type:
Your comment has been saved. Comments are moderated and will not appear until approved by the author. Post another comment

The letters and numbers you entered did not match the image. Please try again.

As a final step before posting your comment, enter the letters and numbers you see in the image below. This prevents automated programs from posting comments.

Having trouble reading this image? View an alternate.

Working...

Post a comment

Comments are moderated, and will not appear until the author has approved them.

June 2014

Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Audrey

My Photo

License