Why should you learn Type Theory?

Описание к видео Why should you learn Type Theory?

This video tries to be a brief introduction to Type Theory. I am sorry for the inaccuracies or potential errors. Feel free to tell me in the comments, I just started learning about this topic but I found it too amazing not to share.

As you probably already can tell, this is my first video speaking in English so I do hope everything can be understood clearly. My pronunciation is not the nicest.

Also this is my entry to SoME1.

Music credits:
- "Inspiration Piano - Calm Background Music For Videos" by Lesfm.
- "Dreamland" by Aakash Gandhi.
- "Sea of Memory" by Aakash Gandhi.

Комментарии

Информация по комментариям в разработке

Похожие видео