BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
PRODID:-//GridMind//NONSGML GridCalendar 0.9.577 2013-12-03 17:08 +0100//E
 N
BEGIN:VEVENT
UID:realraum Grid Calendar-ba60f4c3f99b69e96569dcaa976cb7c3-1341@grical.re
 alraum.at
DTSTART:20190903T190000
DTEND:20190903T230000
CATEGORIES:votrag,python,typing
CLASS:PUBLIC
DESCRIPTION:During PyGRAZ September\, we are going to discuss type systems
 . Gradual typing\, typing module and mypy.\n\n\nFirst\, Lukas is going to 
 talk about function annotations and related optional features introduced i
 n python 3. In particular\, python 3.5 introduced the typing module and th
 us implicitly a type system. Tools like mypy allow to verify partial corre
 ctness of the declared types. The talk is meant to give an overview over t
 heoretical aspects of related PEPs and introduces listeners to application
 s of the features.\n\n\nSecond\, Matthias is going to talk about Erlang’
 s pattern matching capabilities. In July 2015 (https://pygraz.org/meetups/
 2015-07-07)\, we have seen that pattern matching commonly assumes complete
 \, strong type systems. However\, Erlang shows that pattern matching must 
 not be necessarily related to types. Matthias will give us an introduction
  to Erlang‘s approach to this topic and we will conclude with a discussi
 on which/whether/how they can be applied/mapped to python.
DTSTAMP:20190815T011503
GEO:47.0655488753\;15.450591445
SUMMARY:PyGRAZ Septemer: Gradual typing\, typing module and mypy
URL:http://grical.realraum.at/e/show/1341/
END:VEVENT
END:VCALENDAR