Playing with Lambda Calculus - BERNARDO AMORIM скачать в хорошем качестве

Playing with Lambda Calculus - BERNARDO AMORIM

This video was recorded at Code BEAM SF 2020 - http://bit.ly/2wpn0SM Get involved in Code Sync's next conference - https://codesync.global --- PLAYING WITH LAMBDA CALCULUS by Bernardo Amorim THIS TALK IN THREE WORDS: lambda calculus reduction ABSTRACT We all learn a lot about Turing Machines and why it is an important model and its correlation to the microprocessors we have today. However, not everyone learn about another important model: Lambda Calculus. We'll learn a little bit about simple untyped lambda calculus, implement some data structures using only functions (no other Elixir data type) and hopefully have some fun. Slides & full abstract: https://codesync.global/speaker/berna... --- THE SPEAKER - BERNARDO AMORIM Built a bank using Elixir and created a Word to HTML converter in Ruby that also converted math formulas to MathML. Bernardo started playing around with HTML and JS when he was 11. At age 14 learned PHP through WikiBooks so he could make his MU Online private server registration website and with 1 day running the server learned what SQL Injection is the hard way. Since then he has developer a lot of systems and occupied a range of roles, from intern to CTO of a small startup (also known as the solo developer). Currently he is working with Sunshine Cybernetics and learning about dependent typed languages, interaction combinators and lambda calculus while helping building tools for the next generation of developers. More on Bernardo Amorim: https://codesync.global/speaker/berna... --- CODE SYNC & CODE BEAM SF 2020 Code BEAM SF is powered by Code Sync. Code BEAM SF 2020 was sponsored by WhatsApp, The RealReal, PepsiCo, Erlang Ecosystem Foundation, Erlang Solutions, WhiteSource, 2600Hz, Simpli.fi, Tubi, Pleroma, and Mux. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeBEAMio Facebook:   / codesyncglobal   LinkedIn:   / code-sync   Mail: info at codesync.global