Functional Programming: Type Systems
553What comes to your mind when you hear the word "type"? Do you think of an integer or string? Do you think of an object type from your favorite OOP language? Do you think about never ending religious debates regarding static vs dynamic types? Do you realize that these things hardly scratch the surface of what it means to be a "type"? Be prepared to understand types on a whole new level.
In this talk, we will explore type systems. What is a type system? Why are type systems important? How have type systems been influenced by functional programming, category theory, and type theory? We will talk about variance, polymorphisms, higher-kinded types, existential types, algebraic data types, and type classes.
We will scratch the surface of type theory and learn how logic systems have influenced programming language design.
EVENT:
Techlahoma Events 2018
SPEAKER:
Jordan Parmer
PERMISSIONS:
Techlahoma Events Organizer as well as Jordan Parmer provided Coding Tech with the permissions to republish this video.
CREDITS:
Original video source: https://www.youtube.com/watch?v=jsGhJ2pKKYY
Other Videos By Coding Tech
| 2018-07-23 | How Decision Trees Work |
| 2018-07-22 | Shipping Better Software Faster, and Having Fun Doing It |
| 2018-07-21 | Go, C++ or Java for DNA Sequencing? |
| 2018-07-20 | Introduction to Deep Learning with Keras and Tensorflow || Rodrigo Agundez |
| 2018-07-19 | F# Code I Love |
| 2018-07-16 | Progressive Web Apps and the Internet of Things |
| 2018-07-13 | Variable Fonts and the Future of Web Design |
| 2018-07-10 | The React Productivity Revolution |
| 2018-07-08 | JavaScript, TypeScript and PureScript |
| 2018-07-07 | Visual History Of Visual Programming Languages |
| 2018-07-06 | Functional Programming: Type Systems |
| 2018-07-06 | Serverless Revealed! |
| 2018-07-05 | The Science of Code Reviews |
| 2018-07-04 | Writing Ruby Like it's 2018 |
| 2018-07-03 | Architecting the Reactive Flutter App |
| 2018-07-01 | Even More CSS Secrets |
| 2018-06-30 | Solving Pokemon Blue With a Single, Huge Regular Expression |
| 2018-06-29 | The Cost Of JavaScript |
| 2018-06-28 | Knowledge Graphs & Deep Learning at YouTube |
| 2018-06-27 | Cryptography For Beginners |
| 2018-06-25 | Fearless Interview |