Dmitry Soshnikov
Company: MAI / NRU HSE
Talk type: Talk
Introduction to Functional Programming Theory With Examples in F#
Dmitry will talk about formal basics of functional programming and two mathematical theories underlying this approach: lambda-calculus and category theory. Examples in the talk will be in F# language.
Speakers
Other talks on «Расширяем горизонты»
- Watch recording
Talk type: Talk
Hall 1System of Transfer to Leading Software Engineers with Promo Codes and Commissars
Gregory Koshelev
Company: Kontur
- Watch recording
Talk type: Workshop
Hall 3Practical Problems Solved Functionally (Part 1)
Mark Shevchenko
Company: ProgMsk
- Watch recording
Talk type: Talk
Hall 1B-tree Indexes in Databases Using .NET Entity Framework and PostgreSQL as Examples
Vladimir Sitnikov
Company: PostgreSQL JDBC maintainer
- Watch recording
Talk type: Workshop
Hall 3Practical Problems Solved Functionally (Part 2)
Mark Shevchenko
Company: ProgMsk
- Watch recording
- Watch recording
Talk type: Talk
Hall 1Reflections on the Edge of the Technological Singularity
Stanislav Sidristij
Company: Speech Technology Center
- Watch recording
