ICAL  |  show  |  edit  |  edit as text  |  add to group

History of: PyGRAZ Septemer: Gradual typing, typing module and mypy

Current version (2019-08-15T01:15:03.061355)

    title: PyGRAZ Septemer: Gradual typing, typing module and mypy
startdate: 2019-09-03
starttime: 19:00
endtime: 23:00
coordinates: 47.0655488753, 15.450591445
tags: votrag python typing
urls:
    Anmeldung https://www.meetup.com/PyGRAZ/events/262991628/
description:
During PyGRAZ September, we are going to discuss type systems. Gradual typing, typing module and mypy.


First, Lukas is going to talk about function annotations and related optional features introduced in python 3. In particular, python 3.5 introduced the typing module and thus implicitly a type system. Tools like mypy allow to verify partial correctness of the declared types. The talk is meant to give an overview over theoretical aspects of related PEPs and introduces listeners to applications of the features.


Second, 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 discussion which/whether/how they can be applied/mapped to python.
        

2019-08-12T08:54:49.489664

f1title: PyGRAZ Septemer: Gradual typing, typing module and mypyf1title: PyGRAZ Septemer: Gradual typing, typing module and mypy
2startdate: 2019-09-032startdate: 2019-09-03
3starttime: 19:003starttime: 19:00
4endtime: 23:004endtime: 23:00
5coordinates: 47.0655488753, 15.4505914455coordinates: 47.0655488753, 15.450591445
6tags: votrag python typing6tags: votrag python typing
tt7urls:
8 Anmeldung https://www.meetup.com/PyGRAZ/events/262991628/
7description:9description:
8During PyGRAZ September, we are going to discuss type systems. Gradual typing, typing module and mypy.10During PyGRAZ September, we are going to discuss type systems. Gradual typing, typing module and mypy.
911
1012
11First, Lukas is going to talk about function annotations and related optional features introduced in python 3. In particular, python 3.5 introduced the typing module and thus implicitly a type system. Tools like mypy allow to verify partial correctness of the declared types. The talk is meant to give an overview over theoretical aspects of related PEPs and introduces listeners to applications of the features.13First, Lukas is going to talk about function annotations and related optional features introduced in python 3. In particular, python 3.5 introduced the typing module and thus implicitly a type system. Tools like mypy allow to verify partial correctness of the declared types. The talk is meant to give an overview over theoretical aspects of related PEPs and introduces listeners to applications of the features.
1214
1315
14Second, 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 discussion which/whether/how they can be applied/mapped to python.16Second, 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 discussion which/whether/how they can be applied/mapped to python.

2019-08-12T08:52:59.687975

f1title: PyGRAZ Septemer: Gradual typing, typing module and mypyf1title: PyGRAZ Septemer: Gradual typing, typing module and mypy
2startdate: 2019-09-032startdate: 2019-09-03
3starttime: 19:003starttime: 19:00
4endtime: 23:004endtime: 23:00
5coordinates: 47.0655488753, 15.4505914455coordinates: 47.0655488753, 15.450591445
t6tags: votragg python typingt6tags: votrag python typing
7description:7description:
8During PyGRAZ September, we are going to discuss type systems. Gradual typing, typing module and mypy.8During PyGRAZ September, we are going to discuss type systems. Gradual typing, typing module and mypy.
99
1010
11First, Lukas is going to talk about function annotations and related optional features introduced in python 3. In particular, python 3.5 introduced the typing module and thus implicitly a type system. Tools like mypy allow to verify partial correctness of the declared types. The talk is meant to give an overview over theoretical aspects of related PEPs and introduces listeners to applications of the features.11First, Lukas is going to talk about function annotations and related optional features introduced in python 3. In particular, python 3.5 introduced the typing module and thus implicitly a type system. Tools like mypy allow to verify partial correctness of the declared types. The talk is meant to give an overview over theoretical aspects of related PEPs and introduces listeners to applications of the features.
1212
1313
14Second, 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 discussion which/whether/how they can be applied/mapped to python.14Second, 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 discussion which/whether/how they can be applied/mapped to python.

2019-08-12T08:52:09.092836

f1title: PyGRAZ Septemer: Gradual typing, typing module and mypyf1title: PyGRAZ Septemer: Gradual typing, typing module and mypy
2startdate: 2019-09-032startdate: 2019-09-03
3starttime: 19:003starttime: 19:00
4endtime: 23:004endtime: 23:00
5coordinates: 47.0655488753, 15.4505914455coordinates: 47.0655488753, 15.450591445
6tags: votragg python typing6tags: votragg python typing
7description:7description:
8During PyGRAZ September, we are going to discuss type systems. Gradual typing, typing module and mypy.8During PyGRAZ September, we are going to discuss type systems. Gradual typing, typing module and mypy.
99
nn10
10First, Lukas is going to talk about function annotations and related optional features introduced in python 3. In particular, python 3.5 introduced the typing module and thus implicitly a type system. Tools like mypy allow to verify partial correctness of the declared types. The talk is meant to give an overview over theoretical aspects of related PEPs and introduces listeners to applications of the features.11First, Lukas is going to talk about function annotations and related optional features introduced in python 3. In particular, python 3.5 introduced the typing module and thus implicitly a type system. Tools like mypy allow to verify partial correctness of the declared types. The talk is meant to give an overview over theoretical aspects of related PEPs and introduces listeners to applications of the features.
1112
tt13
12Second, 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 discussion which/whether/how they can be applied/mapped to python.14Second, 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 discussion which/whether/how they can be applied/mapped to python.