Putting Types To Work In Perl 6

Putting Types To Work In Perl 6

By Jonathan Worthington (‎jnthn‎)
Date: Wednesday, 13 August 2008 14:10
Duration: 30 minutes
Language:
Tags: perl6 types


Perl 6 allows you to add type constraints to variables, parameters and attributes. In this talk, I will look at:

* What are types, anyway
* What you can use as types in Perl 6
* How you can define your own refinement types, to do dependent-typing style stuff
* Type parameterization
* Where the Rakudo implementation is currently at (yes, we actually have some of this implemented)
* The roadmap for further implementation


Attended by: Lars Thegler (‎tagg‎), Smylers, Andrey Shitov (‎ash‎), David Jack Wange Olrik (‎davidolrik‎), Jörg Plate (‎Patterner‎), Juerd Waalboer, RichA, allan dystrup (‎ady‎), Alex Balhatchet (‎Kaoru‎), Erik Johansen (‎uniejo‎), Morten Meyling, Andrew Bayliss, Andy Armstrong (‎AndyA‎), Andrew Johnson, Lars Jorgensen, Henrik Tougaard (‎htoug‎), Christian Westgaard (‎ComLock‎), Wendy Van Dijk (‎woolfy‎), allan juul, David Leadbeater (‎dg‎), Henrik Andersen (‎HEM‎), Allison Randal, Cecilie Fritzvold, Patrick Michaud (‎Pm‎), Troels Liebe Bentsen (‎tlbdk‎), Christian Borup (‎borup‎), Rune Mydske Nielsen (‎runeni‎), Alberto Simões (‎ambs‎), Casper Andersen, Damian Conway (‎damian‎), Stéphane Payrard (‎cognominal‎), Dave Cross (‎davorg‎), Darius Jokilehto, Trond Michelsen (‎trondmm‎), Nuno Carvalho (‎smash‎),