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



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

The comments to this entry are closed.

December 2015

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 31