Charlotte Lorelei de Oliveira - Introduction to a type system: session types | Code BEAM STO 19 скачать в хорошем качестве

Charlotte Lorelei de Oliveira - Introduction to a type system: session types | Code BEAM STO 19

This video was recorded at Code BEAM STO 19 http://bit.ly/2W2vgDC Get involved in Code Sync's next conference http://bit.ly/2Mcm4aS --- INTRODUCTION TO A TYPE SYSTEM: SESSION TYPES by Charlotte Lorelei de Oliveira THIS TALK IN THREE WORDS: #TypeSystems #CodeQuality #Tests TALK LEVEL: Beginner / Intermediate / Advanced ABSTRACT Correctness in software development is an important subject that has been explored by the academy and by the industry. How to ensure that your program cannot fail ? How to ensure that what you're developing will work as expected without unwanted side-effects ? etc. Since then, several approaches were developed; one of them is static type analysis, a methodology which tries to prove that your program is correct based on the mathematical types theory, whose basic assumption is that unless your program can prove it attends it's basic contracts, it is faulty. Considering Erlang is widely known by it's focus on fault-tolerance and, by consequence, guarantees of reliability, there have been several attempts to improve Erlang programs by proving their correctness with type systems but such attempts have failed. This talk proposes to explain what is a type system, why attempts to type strictly Erlang have failed and how the theory of Session Types might prove to be a way to achieve correctness in environments like Erlang's. Read the full abstract: https://codesync.global/speaker/charl... --- THE SPEAKER - CHARLOTTE LORELEI DE OLIVEIRA Net Idol ✨ Charlotte likes to talk about free open source software, privacy, programming languages, theory and software engineering. Her work is breaking computers, fixing them and then teaching others about the results. More on Charlotte Lorelei de Oliveira: https://codesync.global/speaker/charl... --- CODE SYNC & CODE BEAM STO 19 Code BEAM STO is powered by Code Sync. Code BEAM STO 19 was sponsored by Klarna, The RealReal, Erlang Solutions, dek technologies, Derivco Sports, and aeternity. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeBEAMIO Facebook:   / codesyncglobal   LinkedIn:   / code-sync   Mail: info at codesync.global