Type Theory 101

*
Accepted Session
Short Form
Intermediate
Scheduled: Tuesday, June 21, 2016 from 4:45 – 5:30pm in B202/203

Excerpt

Have you heard about type theory and always wanted to understand the principles behind it, but always thought it was too complicated since it has a lot of Lambda Calculus and algebras? This talk will approach these concepts in a friendly way.

Description

This talk will show in a less formal way basic concepts of Type Theory. The adopted methodology for explaining concepts will be analogies with games, real life scenarios and so. Covered topics:
- Why Type Theory?
- How much math do I really need to know?
- Lamba Calculus 101
- Functional programming and the relationship with type theory
- Logic
- Set Theory and Category Theory
- Where can I apply or see that?

Type Theory is sometimes a concept that is taken as boring or too complicated, and this talk would show that any developer can understand those principles and maybe apply them to improve their decisions on architecture.

Tags

type, languages, type theory, lambda calculus, logic

Speaking experience

I usually speak at meetups and some conferences around the globe. I have previously spoken ate Open Source Bridge. Some of my presentations are here https://slides.com/hannelitavante-hannelita , or here http://www.slideshare.net/hannelita ; some videos are here http://www.infoq.com/br/author/Hanneli-Tavante

Speaker

  • 1512278 708398419220539 6273564005505300203 n

    Biography

    Hanneli (@hannelita) is a developer addicted to code, learn new programming languages, blow capacitors, do some C programming and commit useful (or not) code for random Open Source Projects that she finds at Github. She likes Math, Lego, dogs, hardware and Coffee.

    Sessions

      • Title: Type Theory 101
      • Track: Theory
      • Room: B202/203
      • Time: 4:455:30pm
      • Excerpt:

        Have you heard about type theory and always wanted to understand the principles behind it, but always thought it was too complicated since it has a lot of Lambda Calculus and algebras? This talk will approach these concepts in a friendly way.

      • Speakers: Hanneli Tavante
      • Title: Cassandra - an introduction
      • Track: Practice
      • Room: B304
      • Time: 1:302:15pm
      • Excerpt:

        Built mostly in Java, Cassandra is a powerful open source NoSQL database, based on the model of a partitioned row store. This talk will provide general use cases for Cassandra, explain Cassandra’s architecture and its benefits, feature tools for accessing and administering Cassandra, and demonstrate how to integrate Cassandra with existing Java applications.

      • Speakers: Hanneli Tavante

Leave a private comment to organizers about this proposal